24. IJCAI 2015: Buenos Aires, Argentina

• 
  Qiang Yang, Michael Wooldridge:
  Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. AAAI Press 2015, ISBN 978-1-57735-738-4

Main Track - Agent and Multiagent Systems

• 
  Tim Baarslag, Enrico H. Gerding:
  Optimal Incremental Preference Elicitation during Negotiation. 3-9
• 
  Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Munindar P. Singh:
  Composing and Verifying Commitment-Based Multiagent Protocols. 10-17
• 
  Florian Brandl, Felix Brandt, Christian Geist, Johannes Hofbauer:
  Strategic Abstention Based on Preference Extensions: Positive Results and Computer-Generated Impossibilities. 18-24
• 
  Ioannis Caragiannis, Xenophon Chatzigeorgiou, Panagiotis Kanellopoulos, George A. Krimpas, Nikos Protopapas, Alexandros A. Voudouris:
  Efficiency and Complexity of Price Competition Among Single-Product Vendors. 25-31
• 
  Adam Clearwater, Clemens Puppe, Arkadii Slinko:
  Generalizing the Single-Crossing Property on Lines and Trees to Intermediate Preferences on Median Graphs. 32-38
• 
  Ross Conroy, Yifeng Zeng, Marc Cavazza, Yingke Chen:
  Learning Behaviors in Agents Systems with Interactive Dynamic Influence Diagrams. 39-45
• 
  Jilles Steeve Dibangoye, Olivier Buffet, Olivier Simonin:
  Structural Results for Cooperative Decentralized Control Models. 46-52
• 
  Barbara Dunin-Keplicz, Alina Strachocka:
  Tractable Inquiry in Information-Rich Environments. 53-60
• 
  Yilin Kang, Ah-Hwee Tan, Chunyan Miao:
  An Adaptive Computational Model for Personalized Persuasion. 61-67
• 
  Vadim Levit, Zohar Komarovsky, Tal Grinshpoun, Amnon Meisels:
  Tradeoffs between Incentive Mechanisms in Boolean Games. 68-74
• 
  Danyan Lv, Zhaofeng Li, Yichuan Jiang:
  Environment-Driven Social Force Model: Lévy Walk Pattern in Collective Behavior. 75-81
• 
  Timo Mennle, Michael Weiss, Basil Philipp, Sven Seuken:
  The Power of Local Manipulation Strategies in Assignment Mechanisms. 82-89
• 
  Gianpiero Monaco, Piotr Sankowski, Qiang Zhang:
  Revenue Maximization Envy-Free Pricing for Homogeneous Resources. 90-96
• 
  Zhaohong Sun, Hideaki Hata, Taiki Todo, Makoto Yokoo:
  Exchange of Indivisible Objects with Asymmetry. 97-103
• 
  Paolo Viappiani:
  Characterization of Scoring Rules with Distances: Application to the Clustering of Rankings. 104-110
• 
  Dongxia Wang, Tim Muller, Jie Zhang, Yang Liu:
  Quantifying Robustness of Trust Systems against Collusive Unfair Rating Attacks Using Information Theory. 111-117
• 
  Zihe Wang, Pingzhong Tang:
  Optimal Auctions for Partially Rational Bidders. 118-124
• 
  Florian Wisser:
  An Expert-Level Card Playing Agent Based on a Variant of Perfect Information Monte Carlo Sampling. 125-131
• 
  Feng Wu, Sarvapali D. Ramchurn, Wenchao Jiang, Joel E. Fischer, Tom Rodden, Nicholas R. Jennings:
  Agile Planning for Real-World Disaster Response. 132-138
• 
  Bolei Xu, Tao Qin, Guoping Qiu, Tie-Yan Liu:
  Optimal Pricing for the Competitive and Evolutionary Cloud Market. 139-145
• 
  Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman:
  Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery. 146-155

Main Track - Artificial Intelligence and Social Sciences

• 
  Sahbi Benlamine, Maher Chaouachi, Serena Villata, Elena Cabrio, Claude Frasson, Fabien Gandon:
  Emotions in Argumentation: an Empirical Evaluation. 156-163
• 
  Robert Bredereck, Jiehua Chen, Rolf Niedermeier, Toby Walsh:
  Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty. 164-170
• 
  Fabian Hadiji, Martin Mladenov, Christian Bauckhage, Kristian Kersting:
  Computer Science on the Move: Inferring Migration Regularities from the Web via Compressed Label Propagation. 171-177
• 
  Dingjiang Huang, Yan Zhu, Bin Li, Shuigeng Zhou, Steven C. H. Hoi:
  Semi-Universal Portfolios with Transaction Costs. 178-184
• 
  Marco Lippi, Paolo Torroni:
  Context-Independent Claim Detection for Argument Mining. 185-191
• 
  Wen Pu, Jaesik Choi, Yunseong Hwang, Eyal Amir:
  A Deterministic Partition Function Approximation for Exponential Random Graph Models. 192-200
• 
  Ming Yin, Yiling Chen:
  Bonus or Not? Learn to Reward in Crowdsourcing. 201-208

Main Track - Auctions and Market-Based Systems

• 
  Suiqian Luo, Pingzhong Tang:
  Mechanism Design and Implementation for Lung Exchange. 209-215
• 
  Catherine Moon, Vincent Conitzer:
  Maximal Cooperation in Repeated Games on Social Networks. 216-223
• 
  Changjun Wang, Weidong Ma, Tao Qin, Xujin Chen, Xiaodong Hu, Tie-Yan Liu:
  Selling Reserved Instances in Cloud Computing. 224-231

Main Track - Constraint Optimization

• 
  Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro:
  A Multicore Tool for Constraint Solving. 232-238
• 
  Jeremias Berg, Paul Saikko, Matti Järvisalo:
  Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT. 239-245
• 
  Nikolaj Bjørner, Nina Narodytska:
  Maximum Satisfiability Using Cores and Correction Sets. 246-252
• 
  Abram L. Friesen, Pedro M. Domingos:
  Recursive Decomposition for Nonconvex Optimization - IJCAI-15 Distinguished Paper. 253-259
• 
  Thierry Petit, Andrew C. Trapp:
  Finding Diverse Solutions of High Quality to Constraint Optimization Problems. 260-267

Main Track - Constraints, Satisfiability, and Search

• 
  André Abramé, Djamal Habet:
  On the Resiliency of Unit Propagation to Max-Resolution. 268-274
• 
  Michael Abseher, Frederico Dusberger, Nysret Musliu, Stefan Woltran:
  Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning. 275-282
• 
  Carlos Ansótegui, Frédéric Didier, Joel Gabàs:
  Exploiting the Structure of Unsatisfiable Cores in MaxSAT. 283-289
• 
  Amine Balafrej, Christian Bessière, Anastasia Paparrizou:
  Multi-Armed Bandits for Adaptive Constraint Propagation. 290-296
• 
  Nawal Benabbou, Patrice Perny:
  Combining Preference Elicitation and Search in Multiobjective State-Space Graphs. 297-303
• 
  Tadhg Fitzgerald, Yuri Malitsky, Barry O'Sullivan:
  ReACTR: Realtime Algorithm Configuration through Tournament Rankings. 304-310
• 
  Pierre Genevès, Alan Schmitt:
  Expressive Logical Combinators for Free. 311-317
• 
  Barry Hurley, Barry O'Sullivan:
  Statistical Regimes and Runtime Prediction. 318-324
• 
  Mikolás Janota, João Marques-Silva:
  Solving QBF by Clause Selection. 325-331
• 
  Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas:
  Compiling Constraint Networks into Multivalued Decomposable Decision Graphs. 332-338
• 
  Jimmy H. M. Lee, Zichen Zhu:
  Filtering Nogoods Lazily in Dynamic Symmetry Breaking During Search. 339-345
• 
  Kevin Leo, Guido Tack:
  Multi-Pass High-Level Presolving. 346-352
• 
  Chavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap:
  Decomposition of the Factor Encoding for CSPs. 353-359
• 
  Christopher Mears, Maria Garcia de la Banda:
  Towards Automatic Dominance Breaking for Constraint Optimization Problems. 360-366
• 
  Zongxu Mu, Holger H. Hoos:
  On the Empirical Time Complexity of Random 3-SAT at the Phase Transition. 367-373
• 
  Guillaume Perez, Jean-Charles Régin:
  Efficient Operations On MDDs for Building Constraint Programming Models. 374-380
• 
  Oleksandr Polozov, Eleanor O'Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popovic:
  Personalized Mathematical Word Problem Generation. 381-388
• 
  Chao Qian, Yang Yu, Zhi-Hua Zhou:
  On Constrained Boolean Pareto Optimization. 389-395
• 
  Ignacio Antonio Salas Donoso, Gilles Chabert:
  Packing Curved Objects. 396-402
• 
  Long Tran-Thanh, Yingce Xia, Tao Qin, Nicholas R. Jennings:
  Efficient Algorithms with Performance Guarantees for the Stochastic Multiple-Choice Knapsack Problem. 403-410

Main Track - Distributed Search/CSP/Optimization

• 
  Supriyo Ghosh, Akshat Kumar, Pradeep Varakantham:
  Probabilistic Inference Based Message-Passing for Resource Constrained DCOPs. 411-417
• 
  Minh Luan Nguyen, Siu Cheung Hui, Alvis Cheuk Ming Fong:
  Collective Biobjective Optimization Algorithm for Parallel Test Paper Generation. 418-424
• 
  Tamir Tassa, Roie Zivan, Tal Grinshpoun:
  Max-Sum Goes Private. 425-431
• 
  Roie Zivan, Tomer Parash, Yarden Naveh:
  Applying Max-Sum to Asymmetric Distributed Constraint Optimization. 432-439

Main Track - Game Theory

• 
  Andrés Abeliuk, Gerardo Berbeglia, Pascal Van Hentenryck:
  A Bargaining Mechanism for One-Way Games. 440-446
• 
  Elliot Anshelevich, Onkar Bhardwaj, Koushik Kar:
  Strategic Network Formation through an Intermediary. 447-453
• 
  Haris Aziz, Simina Brânzei, Aris Filos-Ratsikas, Søren Kristoffer Stiil Frederiksen:
  The Adjusted Winner Procedure: Characterizations and Equilibria. 454-460
• 
  Haris Aziz, Serge Gaspers, Joachim Gudmundsson, Julián Mestre, Hanjo Täubig:
  Welfare Maximization in Fractional Hedonic Games. 461-467
• 
  Haris Aziz, Toby Walsh, Lirong Xia:
  Possible and Necessary Allocations via Sequential Mechanisms. 468-474
• 
  Maria-Florina Balcan, Ariel D. Procaccia, Yair Zick:
  Learning Cooperative Games. 475-481
• 
  Simina Brânzei, Peter Bro Miltersen:
  A Dictatorship Theorem for Cake Cutting. 482-488
• 
  Noam Brown, Tuomas Sandholm:
  Simultaneous Abstraction and Equilibrium Finding in Games. 489-496
• 
  Alejandro Uriel Carbonara, Anupam Datta, Arunesh Sinha, Yair Zick:
  Incentivizing Peer Grading in MOOCS: An Audit Game Approach. 497-503
• 
  Artur Czumaj, Michail Fasoulakis, Marcin Jurdzinski:
  Approximate Nash Equilibria with Near Optimal Social Welfare. 504-510
• 
  Amit Datta, Anupam Datta, Ariel D. Procaccia, Yair Zick:
  Influence in Classification via Cooperative Game Theory. 511-517
• 
  Joanna Drummond, Andrew Perrault, Fahiem Bacchus:
  SAT Is an Effective and Complete Method for Solving Stable Matching Problems with Couples. 518-525
• 
  Karel Durkota, Viliam Lisý, Branislav Bosanský, Christopher Kiekintveld:
  Optimal Network Security Hardening Using Attack Graph Games. 526-532
• 
  Edith Elkind, Umberto Grandi, Francesca Rossi, Arkadii Slinko:
  Gibbard-Satterthwaite Games. 533-539
• 
  Umberto Grandi, Davide Grossi, Paolo Turrini:
  Equilibrium Refinement through Negotiation in Binary Voting. 540-546
• 
  Gianluigi Greco, Francesco Lupia, Francesco Scarcello:
  Structural Tractability of Shapley and Banzhaf Values in Allocation Games. 547-553
• 
  Johannes Heinrich, David Silver:
  Smooth UCT Search in Computer Poker. 554-560
• 
  Michael P. Kim, Virginia Vassilevska Williams:
  Fixing Tournaments for Kings, Chokers, and More. 561-567
• 
  Annamária Kovács, Angelina Vidali:
  A Characterization of n-Player Strongly Monotone Scheduling Mechanisms. 568-574
• 
  Christian Kroer, Tuomas Sandholm:
  Limited Lookahead in Imperfect-Information Games. 575-581
• 
  David Kurokawa, Omer Lev, Jamie Morgenstern, Ariel D. Procaccia:
  Impartial Peer Review. 582-588
• 
  Minming Li, Jialin Zhang, Qiang Zhang:
  Truthful Cake Cutting Mechanisms with Externalities: Do Not Make Them Care for Others Too Much! 589-595
• 
  Jian Lou, Yevgeniy Vorobeychik:
  Equilibrium Analysis of Multi-Defender Security Games. 596-602
• 
  Matthias Mnich, Yash Raj Shrestha, Yongjie Yang:
  When Does Schwartz Conjecture Hold? 603-609
• 
  Svetlana Obraztsova, Edith Elkind, Maria Polukarov, Zinovi Rabinovich:
  Strategic Candidacy Games with Lazy Candidates. 610-616
• 
  Dominik Peters, Edith Elkind:
  Simple Causes of Complexity in Hedonic Games. 617-623
• 
  Maria Polukarov, Svetlana Obraztsova, Zinovi Rabinovich, Alexander Kruglyi, Nicholas R. Jennings:
  Convergence to Equilibria in Strategic Candidacy. 624-630
• 
  Oskar Skibski, Tomasz P. Michalak, Yuko Sakurai, Makoto Yokoo:
  A Pseudo-Polynomial Algorithm for Computing Power Indices in Graph-Restricted Weighted Voting Games. 631-637
• 
  Piotr Lech Szczepanski, Aleksy Stanislaw Barcz, Tomasz Pawel Michalak, Talal Rahwan:
  The Game-Theoretic Interaction Index on Social Networks with Applications to Link Prediction and Community Detection. 638-644
• 
  Oskari Tammelin, Neil Burch, Michael Johanson, Michael Bowling:
  Solving Heads-Up Limit Texas Hold'em. 645-652
• 
  Bo Tang, Jinshan Zhang:
  Envy-Free Sponsored Search Auctions with Budgets. 653-659
• 
  Shoshana Vasserman, Michal Feldman, Avinatan Hassidim:
  Implementing the Wisdom of Waze. 660-666
• 
  Marcin Waniek, Agata Niescieruk, Tomasz P. Michalak, Talal Rahwan:
  Spiteful Bidding in the Dollar Auction. 667-673
• 
  Haifeng Xu, Albert Xin Jiang, Arunesh Sinha, Zinovi Rabinovich, Shaddin Dughmi, Milind Tambe:
  Security Games with Information Leakage: Modeling and Computation. 674-680
• 
  Yue Yin, Haifeng Xu, Jiarui Gan, Bo An, Albert Xin Jiang:
  Computing Optimal Mixed Strategies for Security Games with Dynamic Payoffs. 681-688

Main Track - Graphical Models

• 
  Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi:
  From Weighted to Unweighted Model Counting. 689-695
• 
  Radu Marinescu, Rina Dechter, Alexander T. Ihler:
  Pushing Forward Marginal MAP with Best-First Search. 696-702
• 
  Alexander Motzek, Ralf Möller:
  Indirect Causes in Dynamic Bayesian Networks Revisited. 703-709
• 
  Biao Qin:
  Differential Semantics of Intervention in Bayesian Networks. 710-716
• 
  Matteo Venanzi, W. T. Luke Teacy, Alex Rogers, Nick R. Jennings:
  Bayesian Modelling of Community-Based Multidimensional Trust in Participatory Sensing under Data Sparsity. 717-724
• 
  Yinqing Xu, Bei Shi, Wentao Tian, Wai Lam:
  A Unified Model for Unsupervised Opinion Spamming Detection Incorporating Text Generality. 725-732

Main Track - Heuristic Search

• 
  Carlos Ansótegui, Yuri Malitsky, Horst Samulowitz, Meinolf Sellmann, Kevin Tierney:
  Model-Based Genetic Algorithms for Algorithm Configuration. 733-739
• 
  Eli Boyarski, Ariel Felner, Roni Stern, Guni Sharon, David Tolpin, Oded Betzalel, Solomon Eyal Shimony:
  ICBS: Improved Conflict-Based Search Algorithm for Multi-Agent Pathfinding. 740-746
• 
  Shaowei Cai:
  Balance between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive Graphs. 747-753
• 
  Tristan Cazenave:
  Generalized Rapid Action Value Estimation. 754-760
• 
  Yolanda E.-Martín, María D. R.-Moreno, David E. Smith:
  A Fast Goal Recognition Technique Based on Interaction Estimates. 761-768
• 
  Daniel Hennes, Dario Izzo:
  Interplanetary Trajectory Planning with Monte Carlo Tree Search. 769-775
• 
  Dileep Kini, Sumit Gulwani:
  FlashNormalize: Programming by Examples for Text Normalization. 776-783
• 
  Mike Phillips, Venkatraman Narayanan, Sandip Aine, Maxim Likhachev:
  Efficient Search with an Ensemble of Heuristics. 784-791
• 
  Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling:
  Compositional Program Synthesis from Natural Language and Examples. 792-800
• 
  Erik S. Steinmetz, Maria L. Gini:
  Mining Expert Play to Guide Monte Carlo Search in the Opening Moves of Go. 801-807
• 
  René van Bevern, Christian Komusiewicz, Rolf Niedermeier, Manuel Sorge, Toby Walsh:
  H-Index Manipulation by Merging Articles: Models, Theory, and Experiments. 808-814
• 
  Nic Wilson, Abdul Razak, Radu Marinescu:
  Computing Possibly Optimal Solutions for Multi-Objective Constraint Optimisation with Tradeoffs. 815-822

Main Track - Knowledge Acquisition

• 
  Mehwish Alam, Aleksey Buzmakov, Víctor Codocedo, Amedeo Napoli:
  Mining Definitions from RDF Annotations Using Formal Concept Analysis. 823-829
• 
  Claudiu Cristian Musat, Boi Faltings:
  Personalizing Product Rankings Using Collaborative Filtering on Opinion-Derived Topic Profiles. 830-836
• 
  Mehdi Samadi, Partha Pratim Talukdar, Manuela M. Veloso, Tom M. Mitchell:
  AskWorld: Budget-Sensitive Query Evaluation for Knowledge-on-Demand. 837-843
• 
  Yuyin Sun, Adish Singla, Dieter Fox, Andreas Krause:
  Building Hierarchies of Concepts via Crowdsourcing. 844-853

Main Track - Knowledge Representation, Reasoning, and Logic

• 
  Francesco Belardinelli, Davide Grossi, Alessio Lomuscio:
  Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems. 854-860
• 
  Francesco Belardinelli, Davide Grossi, Nicolas Maudet:
  Formal Analysis of Dialogues on Infinite Argumentation Frameworks. 861-867
• 
  Davide Grossi, Sanjay Modgil:
  On the Graded Acceptability of Arguments. 868-874
• 
  Antonio Lieto, Daniele P. Radicioni, Valentina Rho:
  A Common-Sense Conceptual Categorization System Integrating Heterogeneous Proxytypes and the Dual Process of Reasoning. 875-881
• 
  Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang:
  A Simple Probabilistic Extension of Modal Mu-calculus. 882-888
• 
  Denis Deratani Mauá, Cassio Polpo de Campos, Fábio Gagliardi Cozman:
  The Complexity of MAP Inference in Bayesian Networks Specified Through Logical Languages. 889-895
• 
  Marius Pasca, Hylke Buisman:
  Dissecting German Grammar and Swiss Passports: Open-Domain Decomposition of Compositional Entries in Large-Scale Knowledge Repositories. 896-902
• 
  Ke Wang, Zhendong Su:
  Automatic Generation of Raven's Progressive Matrices. 903-909
• 
  Peng Zhang, Jae Hee Lee, Jochen Renz:
  From Raw Sensor Data to Detailed Spatial Knowledge. 910-917

Main Track - Machine Learning

• 
  Francis Bisson, Hugo Larochelle, Froduald Kabanza:
  Using a Recursive Neural Network to Learn an Agent's Decision Model for Plan Recognition. 918-924
• 
  Matteo Denitto, Alessandro Farinelli, Manuele Bicego:
  Biclustering Gene Expressions Using Factor Graphs and the Max-Sum Algorithm. 925-931
• 
  Aaron W. Dennis, Dan Ventura:
  Greedy Structure Search for Sum-Product Networks. 932-938
• 
  Wei Gao, Zhi-Hua Zhou:
  On the Consistency of AUC Pairwise Optimization. 939-945
• 
  Sheng-Jun Huang, Songcan Chen, Zhi-Hua Zhou:
  Multi-Label Active Learning: Query Type Matters. 946-952
• 
  Wenbin Jiang, Qun Liu, Thepchai Supnithi:
  Joint Learning of Constituency and Dependency Grammars by Decomposed Cross-Lingual Induction. 953-959
• 
  Miao Lin, Hong Cao, Vincent W. Zheng, Kevin Chen-Chuan Chang, Shonali Krishnaswamy:
  Mobility Profiling for User Verification with Anonymized Location Data. 960-966
• 
  Deepan Subrahmanian Palguna, Vikas Joshi, Venkatesan T. Chakaravarthy, Ravi Kothari, L. Venkata Subramaniam:
  Analysis of Sampling Algorithms for Twitter. 967-973
• 
  Weiwei Shen, Jun Wang, Yu-Gang Jiang, Hongyuan Zha:
  Portfolio Choices with Orthogonal Bandit Learning. 974-
• 
  Adish Singla, Eric Horvitz, Pushmeet Kohli, Ryen White, Andreas Krause:
  Information Gathering in Networks via Active Exploration. 891-988
• 
  Chang Wang, Liangliang Cao, Bowen Zhou:
  Medical Synonym Extraction with Concept Space Models. 989-995
• 
  Yichen Wang, Aditya Pal:
  Detecting Emotions in Social Media: A Constrained Optimization Approach. 996-1002
• 
  Yue Wang, Cheng Si, Xintao Wu:
  Regression Model Fitting under Differential Privacy and Model Inversion Attack. 1003-1009
• 
  Junfeng Wen, Russell Greiner, Dale Schuurmans:
  Correcting Covariate Shift with the Frank-Wolfe Algorithm. 1010-1016
• 
  Run-ze Wu, Qi Liu, Yuping Liu, Enhong Chen, Yu Su, Zhigang Chen, Guoping Hu:
  Cognitive Modelling for Predicting Examinee Performance. 1017-1024
• 
  Rui Yan, Yiping Song, Cheng-Te Li, Ming Zhang, Xiaohua Hu:
  Opportunities or Risks to Reduce Labor in Crowdsourcing Translation? Characterizing Cost versus Quality via a PageRank-HITS Hybrid Model. 1025-1032
• 
  Yang Yang, Han-Jia Ye, De-Chuan Zhan, Yuan Jiang:
  Auxiliary Information Regularized Machine for Multiple Modality Feature Learning. 1033-1039
• 
  Biao Zhang, Jinsong Su, Deyi Xiong, Hong Duan, Junfeng Yao:
  Discriminative Reordering Model Adaptation via Structural Learning. 1040-1046
• 
  Jing Zhao, Shiliang Sun:
  Revisiting Gaussian Process Dynamical Models. 1047-1053
• 
  Xiaoqing Zheng, Haoyuan Peng, Yi Chen, Pengjing Zhang, Wenqiang Zhang:
  Character-Based Parsing with Convolutional Neural Network. 1054-1060
• 
  Jinhong Zhong, Ke Tang, Zhi-Hua Zhou:
  Active Learning from Crowds with Unsure Option. 1061-1068

Main Track - Model Verification / Model Checking

• 
  Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi:
  Symbolic Model Checking for One-Resource RB+-ATL. 1069-1075
• 
  Xiaowei Huang, Qingliang Chen, Kaile Su:
  The Complexity of Model Checking Succinct Multiagent Systems. 1076-1082
• 
  Panagiotis Kouvaros, Alessio Lomuscio:
  Verifying Emergent Properties of Swarms. 1083-1089
• 
  Aniello Murano, Giuseppe Perelli:
  Pushdown Multi-Agent System Verification. 1090-1097

Main Track - Multiagent Systems

• 
  Muddasser Alam, Enrico H. Gerding, Alex Rogers, Sarvapali D. Ramchurn:
  A Scalable Interdependent Multi-Issue Negotiation Protocol for Energy Exchange. 1098-1104
• 
  Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh:
  Equilibria Under the Probabilistic Serial Rule. 1105-1112
• 
  Cen Chen, Shih-Fen Cheng, Hoong Chuin Lau, Archan Misra:
  Towards City-Scale Mobile Crowdsourcing: Task Recommendations under Trajectory Uncertainties. 1113-1119
• 
  Palash Dey, Y. Narahari:
  Estimating the Margin of Victory of an Election Using Sampling. 1120-1126
• 
  Nhan-Tam Nguyen, Dorothea Baumeister, Jörg Rothe:
  Strategy-Proofness of Scoring Allocation Correspondences for Indivisible Goods. 1127-1133
• 
  Lúcio S. Passos, Rui Abreu, Rosaldo J. F. Rossetti:
  Spectrum-Based Fault Localisation for Multi-Agent Systems. 1134-1140
• 
  Piotr Krzysztof Skowron:
  What Do We Elect Committees For? A Voting Committee Model for Multi-Winner Rules. 1141-1148

Main Track - Multidisciplinary Topics and Applications

• 
  Omer Geiger, Shaul Markovitch:
  Algorithmic Exam Generation. 1149-1155
• 
  Eric Hsin-Chun Huang, Jaron Lanier, Yoav Shoham:
  The Right to Obscure: A Mechanism and Initial Evaluation. 1156-1162
• 
  Guoping Huang, Jiajun Zhang, Yu Zhou, Chengqing Zong:
  A New Input Method for Human Translators: Integrating Machine Translation Effectively and Imperceptibly. 1163-1169
• 
  Yifei Lu, Wei-Long Zheng, Binbin Li, Bao-Liang Lu:
  Combining Eye Movements and EEG to Enhance Emotion Recognition. 1170-1176
• 
  Vittorio Perera, Manuela M. Veloso:
  Handling Complex Commands as Service Robot Task Requests. 1177-1183
• 
  Sarvapali D. Ramchurn, Joel E. Fischer, Yuki Ikuno, Feng Wu, Jack Flann, Antony Waldock:
  A Study of Human-Agent Collaboration for Multi-UAV Task Allocation in Dynamic Environments. 1184-1192
• 
  Ke Wang, Zhendong Su:
  Automated Geometry Theorem Proving for Human-Readable Proofs. 1193-1199
• 
  Jie Wu, Changhu Wang, Liqing Zhang, Yong Rui:
  Offline Sketch Parsing via Shapeness Estimation. 1200-1207

Main Track - Natural Language Processing

• 
  Siddhartha Banerjee, Prasenjit Mitra, Kazunari Sugiyama:
  Multi-Document Abstractive Summarization Using ILP Based Multi-Sentence Compression. 1208-1214
• 
  Francesco Barbieri, Francesco Ronzano, Horacio Saggion:
  Do We Criticise (and Laugh) in the Same Way? Automatic Detection of Multi-Lingual Satirical News in Twitter. 1215-1221
• 
  Danushka Bollegala, Takanori Maehara, Ken-ichi Kawarabayashi:
  Embedding Semantic Relations into Word Representations. 1222-1228
• 
  Felipe Bravo-Marquez, Eibe Frank, Bernhard Pfahringer:
  Positive, Negative, or Neutral: Learning an Expanded Opinion Lexicon from Emoticon-Annotated Tweets. 1229-1235
• 
  Xinxiong Chen, Lei Xu, Zhiyuan Liu, Maosong Sun, Huan-Bo Luan:
  Joint Learning of Character and Word Embeddings. 1236-1242
• 
  Li Dong, Furu Wei, Hong Sun, Ming Zhou, Ke Xu:
  A Hybrid Neural Model for Type Classification of Entity Mentions. 1243-1249
• 
  Meiping Dong, Yang Liu, Huan-Bo Luan, Maosong Sun, Tatsuya Izuha, Dakun Zhang:
  Iterative Learning of Parallel Lexicons and Phrases from Non-Parallel Corpora. 1250-1256
• 
  Yohei Fusayasu, Katsuyuki Tanaka, Tetsuya Takiguchi, Yasuo Ariki:
  Word-Error Correction of Continuous Speech Recognition Based on Normalized Relevance Distance. 1257-1262
• 
  Chen Li, Yang Liu:
  Joint POS Tagging and Text Normalization for Informal Text. 1263-1269
• 
  Piji Li, Lidong Bing, Wai Lam, Hang Li, Yi Liao:
  Reader-Aware Multi-Document Summarization via Sparse Coding. 1270-1276
• 
  Biao Liu, Minlie Huang, Jiashen Sun, Xuan Zhu:
  Incorporating Domain and Sentiment Supervision in Representation Learning for Domain Adaptation. 1277-1283
• 
  Pengfei Liu, Xipeng Qiu, Xuanjing Huang:
  Learning Context-Sensitive Word Embeddings with Neural Tensor Skip-Gram Model. 1284-1290
• 
  Qian Liu, Zhiqiang Gao, Bing Liu, Yuanlin Zhang:
  Automated Rule Selection for Aspect Extraction in Opinion Mining. 1291-1297
• 
  Daraksha Parveen, Michael Strube:
  Integrating Importance, Non-Redundancy and Coherence in Graph-Based Extractive Summarization. 1298-1304
• 
  Xipeng Qiu, Xuanjing Huang:
  Convolutional Neural Tensor Network Architecture for Community-Based Question Answering. 1305-1311
• 
  Mrinmaya Sachan, Eduard H. Hovy, Eric P. Xing:
  An Active Learning Approach to Coreference Resolution. 1312-1318
• 
  Arpit Sharma, Nguyen Ha Vo, Somak Aditya, Chitta Baral:
  Towards Addressing the Winograd Schema Challenge - Building and Using a Semantic Parser and a Knowledge Hunting Module. 1319-1325
• 
  Xiangyan Sun, Yanghua Xiao, Haixun Wang, Wei Wang:
  On Conceptual Labeling of a Bag of Words. 1326-1332
• 
  Yaming Sun, Lei Lin, Duyu Tang, Nan Yang, Zhenzhou Ji, Xiaolong Wang:
  Modeling Mention, Context and Entity with Neural Networks for Entity Disambiguation. 1333-1339
• 
  Duyu Tang, Bing Qin, Ting Liu, Yuekui Yang:
  User Modeling with Neural Network for Review Rating Prediction. 1340-1346
• 
  Duy-Tin Vo, Yue Zhang:
  Target-Dependent Twitter Sentiment Classification with Rich Automatic Features. 1347-1353
• 
  Mingxuan Wang, Zhengdong Lu, Hang Li, Qun Liu:
  Syntax-Based Deep Matching of Short Texts. 1354-1361
• 
  Mengjiao Xie, Yuexian Hou, Peng Zhang, Jingfei Li, Wenjie Li, Dawei Song:
  Modeling Quantum Entanglements in Quantum Language Models. 1362-1368
• 
  Jiaming Xu, Peng Wang, Guanhua Tian, Bo Xu, Jun Zhao, Fangyuan Wang, Hongwei Hao:
  Convolutional Neural Networks for Text Hashing. 1369-1375
• 
  Jin-ge Yao, Xiaojun Wan, Jianguo Xiao:
  Compressive Document Summarization via Sparse Optimization. 1376-1382
• 
  Wenpeng Yin, Yulong Pei:
  Optimizing Sentence Modeling and Selection for Document Summarization. 1383-1389
• 
  Zheng Yu, Haixun Wang, Xuemin Lin, Min Wang:
  Learning Term Embeddings for Hypernymy Identification. 1390-1397
• 
  Jiajun Zhang, Dakun Zhang, Jie Hao:
  Local Translation Prediction with Global Sentence Representation. 1398-1404
• 
  Wei Zhang, Jianyong Wang:
  Prior-Based Dual Additive Latent Dirichlet Allocation for User-Item Connected Documents. 1405-1411
• 
  Yu Zhao, Zhiyuan Liu, Maosong Sun:
  Representation Learning for Measuring Entity Relatedness with Rich Information. 1412-1418
• 
  Guangyou Zhou, Tingting He, Wensheng Wu, Xiaohua Tony Hu:
  Linking Heterogeneous Input Features with Pivots for Domain Adaptation. 1419-1425
• 
  Guangyou Zhou, Tingting He, Jun Zhao, Wensheng Wu:
  A Subspace Learning Framework for Cross-Lingual Sentiment Classification with Partial Parallel Data. 1426-1433

Main Track - Ontologies

• 
  Daniele Alfarone, Jesse Davis:
  Unsupervised Learning of an IS-A Taxonomy from a Limited Domain-Specific Corpus. 1434-1441
• 
  Gregor Behnke, Denis K. Ponomaryov, Marvin R. G. Schiller, Pascal Bercher, Florian Nothdurft, Birte Glimm, Susanne Biundo:
  Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All. 1442-1449
• 
  Salem Benferhat, Zied Bouraoui, Karim Tabia:
  How to Select One Preferred Assertional-Based Repair from Inconsistent and Prioritized DL-Lite Knowledge Bases? 1450-1456
• 
  Freddy Lécué:
  Scalable Maintenance of Knowledge Discovery in an Ontology Stream. 1457-1463
• 
  Daniil Mirylenka, Andrea Passerini, Luciano Serafini:
  Bootstrapping Domain Ontologies from Wikipedia: A Uniform Approach. 1464-1470
• 
  Chuncheng Xiang, Baobao Chang, Zhifang Sui:
  An Ontology Matching Approach Based on Affinity-Preserving Random Walks. 1471-1478

Main Track - Planning

• 
  Mohammad Abdulaziz, Michael Norrish, Charles Gretton:
  Exploiting Symmetries by Planning for a Descriptive Quotient. 1479-1486
• 
  Meysam Aghighi, Christer Bäckström:
  Cost-Optimal and Net-Benefit Planning - A Parameterised Complexity View. 1487-1493
• 
  Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen:
  On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic. 1494-1501
• 
  Ron Alford, Pascal Bercher, David W. Aha:
  Tight Bounds for HTN Planning with Task Insertion. 1502-1508
• 
  Ankit Anand, Aditya Grover, Mausam, Parag Singla:
  ASAP-UCT: Abstraction of State-Action Pairs in UCT. 1509-1515
• 
  Spyros Angelopoulos:
  Further Connections Between Contract-Scheduling and Ray-Searching Problems. 1516-1522
• 
  Josef Bajada, Maria Fox, Derek Long:
  Temporal Planning with Semantic Attachment of Non-Linear Monotonic Continuous Behaviours. 1523-1529
• 
  Ronen I. Brafman:
  A Privacy Preserving Algorithm for Multi-Agent Planning and Search. 1530-1536
• 
  Lukás Chrpa, Fazlul Hasan Siddiqui:
  Exploiting Block Deordering for Improving Planners Efficiency. 1537-1543
• 
  Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey:
  On the Online Generation of Effective Macro-Operators. 1544-1550
• 
  Liat Cohen, Solomon Eyal Shimony, Gera Weiss:
  Estimating the Probability of Meeting a Deadline in Hierarchical Plans. 1551-1557
• 
  Giuseppe De Giacomo, Moshe Y. Vardi:
  Synthesis for LTL and LDL on Finite Traces. 1558-1564
• 
  Enrique Fernández-González, Erez Karpas, Brian Charles Williams:
  Mixed Discrete-Continuous Heuristic Generative Planning Based on Flow Tubes. 1565-1572
• 
  Florian Geißer, Thomas Keller, Robert Mattmüller:
  Delete Relaxations for Planning with State-Dependent Action Costs. 1573-1579
• 
  Franc Ivankovic, Patrik Haslum:
  Optimal Planning with Axioms. 1580-1586
• 
  Bruno Lacerda, David Parker, Nick Hawes:
  Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications. 1587-1593
• 
  Jérôme Lang, Bruno Zanuttini:
  Probabilistic Knowledge-Based Programs. 1594-1600
• 
  Christopher H. Lin, Andrey Kolobov, Ece Kamar, Eric Horvitz:
  Metareasoning for Planning Under Uncertainty. 1601-1609
• 
  Nir Lipovetzky, Miquel Ramírez, Hector Geffner:
  Classical Planning with Simulators: Results on the Atari Video Games. 1610-1616
• 
  Ye Liu, Liqiang Nie, Lei Han, Luming Zhang, David S. Rosenblum:
  Action2Activity: Recognizing Complex Activities from Sensor Data. 1617-1623
• 
  Fabrice Mayran de Chamisso, Laurent Soulier, Michaël Aupetit:
  Exploratory Digraph Navigation Using A. 1624-1630
• 
  Andrea Micheli, Minh Do, David E. Smith:
  Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations. 1631-1637
• 
  Sergio Núñez, Daniel Borrajo, Carlos Linares López:
  Sorting Sequential Portfolios in Automated Planning. 1638-1644
• 
  Frans Adriaan Oliehoek, Matthijs T. J. Spaan, Stefan J. Witwicki:
  Factored Upper Bounds for Multiagent Planning Problems under Uncertainty with Non-Factored Value Functions. 1645-1651
• 
  Santiago Ontañón, Michael Buro:
  Adversarial Hierarchical-Task Network Planning for Complex Real-Time Games. 1652-1658
• 
  Jussi Rintanen:
  Models of Action Concurrency in Temporal Planning. 1659-1665
• 
  Diederik Marijn Roijers, Shimon Whiteson, Frans A. Oliehoek:
  Point-Based Planning for Multi-Objective POMDPs. 1666-1672
• 
  Enrico Scala, Pietro Torasso:
  Deordering and Numeric Macro Actions for Plan Repair. 1673-1681
• 
  Lei Song, Yuan Feng, Lijun Zhang:
  Planning for Stochastic Games with Co-Safe Objectives. 1682-1688
• 
  Álvaro Torralba, Jörg Hoffmann:
  Simulation-Based Admissible Dominance Pruning. 1689-1695
• 
  Jorge Torres, Jorge A. Baier:
  Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals. 1696-1703
• 
  Mauro Vallati, Frank Hutter, Lukás Chrpa, Thomas Leo McCluskey:
  On the Effective Configuration of Planning Domain Models. 1704-1711
• 
  Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz:
  Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning. 1712-1718
• 
  Kyle Hollins Wray, Shlomo Zilberstein:
  Multi-Objective POMDPs with Lexicographic Reward Preferences. 1719-1725
• 
  Bo Wu, Craig A. Knoblock:
  An Iterative Approach to Synthesize Data Transformation Programs. 1726-1732
• 
  Daqing Yi, Michael A. Goodrich, Kevin D. Seppi:
  MORRF*: Sampling-Based Multi-Objective Motion Planning. 1733-1741

Main Track - Recommender Systems

• 
  Azin Ashkan, Branislav Kveton, Shlomo Berkovsky, Zheng Wen:
  Optimal Greedy Diversity for Recommendation. 1742-1748
• 
  Susan Craw, Ben Horsburgh, Stewart Massie:
  Music Recommenders: User Evaluation Without Real Users? 1749-1755
• 
  Guang-Neng Hu, Xin-Yu Dai, Yunya Song, Shujian Huang, Jiajun Chen:
  A Synthetic Approach for Recommendation: Combining Ratings, Social Relations, and Reviews. 1756-1762
• 
  Jingyu Hua, Chang Xia, Sheng Zhong:
  Differentially Private Matrix Factorization. 1763-1770
• 
  Liping Jing, Peng Wang, Liu Yang:
  Sparse Probabilistic Matrix Factorization by Laplace Distribution for Collaborative Filtering. 1771-1777
• 
  Kwan Hui Lim, Jeffrey Chan, Christopher Leckie, Shanika Karunasekera:
  Personalized Tour Recommendation Based on User Interests and Points of Interest Visit Durations. 1778-1784
• 
  Xin Liu:
  Modeling Users' Dynamic Preference for Personalized Recommendation. 1785-1791
• 
  Yong Liu, Peilin Zhao, Aixin Sun, Chunyan Miao:
  A Boosting Algorithm for Item Recommendation with Implicit Feedback. 1792-1798
• 
  Zebang Shen, Hui Qian, Tengfei Zhou, Song Wang:
  Simple Atom Selection Strategy for Greedy Matrix Completion. 1799-1805
• 
  Georgios Theocharous, Philip S. Thomas, Mohammad Ghavamzadeh:
  Personalized Ad Recommendation Systems for Life-Time Value Optimization with Guarantees. 1806-1812
• 
  Suhang Wang, Jiliang Tang, Yilin Wang, Huan Liu:
  Exploring Implicit Hierarchical Structures for Recommender Systems. 1813-1819
• 
  Xin Wang, Yunhui Guo, Congfu Xu:
  Recommendation Algorithms for Optimizing Hit Rate, User Satisfaction and Website Revenue. 1820-1826
• 
  Xin Xin, Zhirun Liu, Chin-Yew Lin, Heyan Huang, Xiaochi Wei, Ping Guo:
  Cross-Domain Collaborative Filtering with Review Text. 1827-1834

Main Track - Relational Learning

• 
  Luc De Raedt, Anton Dries, Ingo Thon, Guy Van den Broeck, Mathias Verbeke:
  Inducing Probabilistic Relational Rules from Probabilistic Examples. 1835-1843
• 
  Parisa Kordjamshidi, Dan Roth, Hao Wu:
  Saul: Towards Declarative Learning Based Programming. 1844-1851
• 
  Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt:
  Anytime Inference in Probabilistic Logic Programs with Tp-Compilation. 1852-1858
• 
  Quan Wang, Bin Wang, Li Guo:
  Knowledge Base Completion Using Embeddings and Rules. 1859-1866

Main Track - Robotics and Vision

• 
  Kenneth D. Bogert, Prashant Doshi:
  Toward Estimating Others' Transition Models Under Occlusion for Multi-Robot IRL. 1867-1873
• 
  Arunkumar Byravan, Mathew Monfort, Brian D. Ziebart, Byron Boots, Dieter Fox:
  Graph-Based Inverse Optimal Control for Robot Manipulation. 1874-1880
• 
  Andreas G. Hofmann, Enrique Fernández-González, Justin Helbert, Scott D. Smith, Brian Charles Williams:
  Reactive Integrated Motion Planning and Execution. 1881-1887
• 
  Yong Li, Jing Liu, Yuhang Wang, Hanqing Lu, Songde Ma:
  Weakly Supervised RBM for Semantic Segmentation. 1888-1894
• 
  Natalie Parde, Adam Hair, Michalis Papakostas, Konstantinos Tsiakas, Maria Dagioglou, Vangelis Karkaletsis, Rodney D. Nielsen:
  Grounding the Meaning of Words through Vision and Interactive Gameplay. 1895-1901
• 
  Ariel Rosenfeld, Noa Agmon, Oleg Maksimov, Amos Azaria, Sarit Kraus:
  Intelligent Agent Supporting Human-Multi-Robot Team Collaboration. 1902-1908
• 
  Michael Spranger, Luc Steels:
  Co-Acquisition of Syntax and Semantics - An Investigation in Spatial Language. 1909-1915
• 
  Pavel Surynek:
  Reduced Time-Expansion Graphs and Goal Decomposition for Solving Cooperative Path Finding Sub-Optimally. 1916-1922
• 
  Jesse Thomason, Shiqi Zhang, Raymond J. Mooney, Peter Stone:
  Learning to Interpret Natural Language Commands through Human-Robot Dialog. 1923-1929
• 
  Marc Toussaint:
  Logic-Geometric Programming: An Optimization-Based Approach to Combined Task and Motion Planning. 1930-1936
• 
  Xiaoqin Zhang, Wei Li, Mingyu Fan, Di Wang, Xiuzi Ye:
  Multi-Modality Tracker Aggregation: From Generative to Discriminative. 1937-1944

Main Track - Satisfiability

• 
  David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivny:
  Tractable Classes of Binary CSPs Defined by Excluded Topological Minors. 1945-1951
• 
  Jesús Giráldez-Cru, Jordi Levy:
  A Modularity-Based Random SAT Instances Generator. 1952-1958
• 
  Chu Min Li, Felip Manyà:
  An Exact Inference Scheme for MinSAT. 1959-1965
• 
  João Marques-Silva, Mikolás Janota, Alexey Ignatiev, António Morgado:
  Efficient Model Based Diagnosis with Maximum Satisfiability. 1966-1972
• 
  Carlos Mencía, Alessandro Previti, João Marques-Silva:
  Literal-Based MCS Extraction. 1973-1979
• 
  Alessandro Previti, Alexey Ignatiev, António Morgado, João Marques-Silva:
  Prime Compilation of Non-Clausal Formulae. 1980-1988

Main Track - Sequential Decision Making

• 
  Hugo Gilbert, Olivier Spanjaard, Paolo Viappiani, Paul Weng:
  Solving MDPs with Skew Symmetric Bilinear Utility Functions. 1989-1995
• 
  Alkis Gotovos, Amin Karbasi, Andreas Krause:
  Non-Monotone Adaptive Submodular Maximization. 1996-2003
• 
  Emmanuel Hadoux, Aurélie Beynier, Nicolas Maudet, Paul Weng, Anthony Hunter:
  Optimization of Probabilistic Argumentation with Markov Decision Models. 2004-2010
• 
  Miao Liu, Christopher Amato, Xuejun Liao, Lawrence Carin, Jonathan P. How:
  Stick-Breaking Policy Learning in Dec-POMDPs. 2011-2018

Main Track - Social Choice Theory

• 
  Edith Elkind, Martin Lackner:
  Structure in Dichotomous Preferences. 2019-2025
• 
  David Timothy Lee:
  Efficient, Private, and eps-Strategyproof Elicitation of Tournament Voting Rules. 2026-2032
• 
  Lihi Naamani Dery, Svetlana Obraztsova, Zinovi Rabinovich, Meir Kalech:
  Lie on the Fly: Iterative Voting Center with Manipulative Voters. 2033-2039
• 
  Ariel D. Procaccia, Nisarg Shah, Eric Sodomka:
  Ranked Voting on Social Networks. 2040-2046
• 
  Yair Zick, Yoram Bachrach, Ian A. Kash, Peter Key:
  Non-Myopic Negotiators See What's Best. 2047-2054

Main Track - Social Networks

• 
  Noga Alon, Michal Feldman, Omer Lev, Moshe Tennenholtz:
  How Robust Is the Wisdom of the Crowds? 2055-2061
• 
  Zhanpeng Fang, Jie Tang:
  Uncovering the Formation of Triadic Closure in Social Networks. 2062-2068
• 
  Shanshan Feng, Xutao Li, Yifeng Zeng, Gao Cong, Yeow Meng Chee, Quan Yuan:
  Personalized Ranking Metric Embedding for Next New POI Recommendation. 2069-2075
• 
  Weixue Lu, Peng Zhang, Chuan Zhou, Chun-Yi Liu, Li Gao:
  Influence Maximization in Big Networks: An Incremental Algorithm for Streaming Subgraph Influence Spread Estimation. 2076-2082
• 
  Yulong Pei, Nilanjan Chakraborty, Katia P. Sycara:
  Nonnegative Matrix Tri-Factorization with Graph Regularization for Community Detection in Social Networks. 2083-2089
• 
  Chengbin Peng, Zhihua Zhang, Ka-Chun Wong, Xiangliang Zhang, David E. Keyes:
  A Scalable Community Detection Algorithm for Large Graphs Using Stochastic Block Models. 2090-2096
• 
  Vishnu Sankar, Balaraman Ravindran, S. Shivashankar:
  CEIL: A Scalable, Resolution Limit Free Approach for Detecting Communities in Large Networks. 2097-2103
• 
  Zhefeng Wang, Enhong Chen, Qi Liu, Yu Yang, Yong Ge, Biao Chang:
  Maximizing the Coverage of Information Propagation in Social Networks. 2104-2110
• 
  Cheng Yang, Zhiyuan Liu, Deli Zhao, Maosong Sun, Edward Y. Chang:
  Network Representation Learning with Rich Text Information. 2111-2117
• 
  Yifeng Zeng, Xuefeng Chen, Xin Cao, Shengchao Qin, Marc Cavazza, Yanping Xiang:
  Optimal Route Search with the Coverage of Users' Preferences. 2118-2124
• 
  Jiawei Zhang, Philip S. Yu:
  Integrated Anchor and Social Link Predictions across Social Networks. 2125-2132

Main Track - Vision and Perception

• 
  Ognjen Arandjelovic, Duc-Son Pham, Svetha Venkatesh:
  Groupwise Registration of Aerial Images. 2133-2139
• 
  Piotr Tadeusz Bilinski, François Brémond:
  Video Covariance Matrix Logarithm for Human Action Recognition in Videos. 2140-2147
• 
  Ling Cai, Rongrong Ji, Wei Liu, Gang Hua:
  Modeling Inter- and Intra-Part Deformations for Object Structure Parsing. 2148-2154
• 
  Sheng Li, Ming Shao, Yun Fu:
  Cross-View Projective Dictionary Learning for Person Re-Identification. 2155-2161
• 
  Gaowen Liu, Yan Yan, Elisa Ricci, Yi Yang, Yahong Han, Stefan Winkler, Nicu Sebe:
  Inferring Painting Style with Multi-Task Dictionary Learning. 2162-2168
• 
  Zhiwu Lu, Xin Gao, Songfang Huang, Liwei Wang, Ji-Rong Wen:
  Social Image Parsing by Cross-Modal Data Refinement. 2169-2175
• 
  Tam Van Nguyen, Jose Sepulveda:
  Salient Object Detection via Augmented Hypotheses. 2176-2182
• 
  Li Shen, Gang Sun, Zhouchen Lin, Qingming Huang, Enhua Wu:
  Adaptive Sharing for Image Classification. 2183-2190
• 
  Zhiqiang Tang, Yifan Zhang, Zechao Li, Hanqing Lu:
  Face Clustering in Videos with Proportion Prior. 2191-2197
• 
  Hongteng Xu, Yi Zhen, Hongyuan Zha:
  Trailer Generation via a Point Process-Based Visual Attractiveness Model. 2198-2204
• 
  Zhiding Yu, Weiyang Liu, Wenbo Liu, Xi Peng, Zhuo Hui, B. V. K. Vijaya Kumar:
  Generalized Transitive Distance with Minimum Spanning Random Forest. 2205-2211
• 
  Jun Zhang, Meng Wang, Jun Gao, Yi Wang, Xudong Zhang, Xindong Wu:
  Saliency Detection with a Deeper Investigation of Light Field. 2212-2218
• 
  Handong Zhao, Yun Fu:
  Semantic Single Video Segmentation with Robust Graph Representation. 2219-2226

Main Track - Web and Knowledge-Based Information Systems

• 
  Martí Bosch, Pierre Genevès, Nabil Layaïda:
  Reasoning with Style. 2227-2233
• 
  Xiaojun Chang, Yi Yang, Alexander G. Hauptmann, Eric P. Xing, Yaoliang Yu:
  Semantic Concept Discovery for Large-Scale Zero-Shot Event Detection. 2234-2240
• 
  Dustin Dannenhauer, Héctor Muñoz-Avila:
  Raising Expectations in GDA Agents Acting in Dynamic Environments. 2241-2247
• 
  Qing-Yuan Jiang, Wu-Jun Li:
  Scalable Graph Hashing with Feature Transformation. 2248-2254
• 
  Xiao-Yuan Jing, Qian Liu, Fei Wu, Baowen Xu, Yang-Ping Zhu, Songcan Chen:
  Web Page Classification Based on Uncorrelated Semi-Supervised Intra-View and Inter-View Manifold Discriminant Feature Extraction. 2255-2261
• 
  Andreas Pfandler, Emanuel Sallinger:
  Distance-Bounded Consistent Query Answering. 2262-2269
• 
  Xiaojun Quan, Chunyu Kit, Yong Ge, Sinno Jialin Pan:
  Short and Sparse Text Topic Modeling via Self-Aggregation. 2270-2276
• 
  Kaisong Song, Shi Feng, Wei Gao, Daling Wang, Ge Yu, Kam-Fai Wong:
  Personalized Sentiment Classification Based on Latent Individuality of Microblog Users. 2277-2283
• 
  Ji Wan, Pengcheng Wu, Steven C. H. Hoi, Peilin Zhao, Xingyu Gao, Dayong Wang, Yongdong Zhang, Jintao Li:
  Online Learning to Rank for Content-Based Image Retrieval. 2284-2290
• 
  Daixin Wang, Peng Cui, Mingdong Ou, Wenwu Zhu:
  Deep Multimodal Hashing with Orthogonal Regularization. 2291-2297
• 
  Zhe Wang, Ling-Yu Duan, Jie Lin, Xiaofang Wang, Tiejun Huang, Wen Gao:
  Hamming Compatible Quantization for Hashing. 2298-2304
• 
  Tao Wu, Qifan Wang, Zhiwei Zhang, Luo Si:
  Determining Expert Research Areas with Multi-Instance Learning of Hierarchical Multi-Label Classification Model. 2305-2312

Main Track - Web Mining

• 
  Djallel Bouneffouf, Inanç Birol:
  Sampling with Minimum Sum of Squared Similarities for Nystrom-Based Large Scale Spectral Clustering. 2313-2319
• 
  Danish Contractor, Bhupesh Chawda, Sameep Mehta, L. Venkata Subramaniam, Tanveer A. Faruquie:
  Tracking Political Elections on Social Media: Applications and Experience. 2320-2326
• 
  Xiao Ding, Yue Zhang, Ting Liu, Junwen Duan:
  Deep Learning for Event-Driven Stock Prediction. 2327-2333
• 
  Stefano Faralli, Giovanni Stilo, Paola Velardi:
  Large Scale Homophily Analysis in Twitter Using a Twixonomy. 2334-2340
• 
  Shoushan Li, Jingjing Wang, Guodong Zhou, Hanxiao Shi:
  Interactive Gender Inference with Integer Linear Programming. 2341-2347
• 
  Xin Li, Yiqun Liu, Min Zhang, Shaoping Ma, Xuan Zhu, Jiashen Sun:
  Detecting Promotion Campaigns in Community Question Answering. 2348-2354
• 
  Ming Liu, Lei Chen, Bingquan Liu, Xiaolong Wang:
  VRCA: A Clustering Algorithm for Massive Amount of Texts. 2355-2361
• 
  Shilad Sen, Isaac L. Johnson, Rebecca Harper, Huy Mai, Samuel Horlbeck Olsen, Benjamin Mathers, Laura Souza Vonessen, Matthew Wright, Brent J. Hecht:
  Towards Domain-Specific Semantic Relatedness: A Case Study from Geography. 2362-2370
• 
  Xuemeng Song, Liqiang Nie, Luming Zhang, Maofu Liu, Tat-Seng Chua:
  Interest Inference via Structure-Constrained Multi-Source Multi-Task Learning. 2371-2377
• 
  Yilin Wang, Suhang Wang, Jiliang Tang, Huan Liu, Baoxin Li:
  Unsupervised Sentiment Analysis for Social Media Images. 2378-2379
• 
  Xiaochi Wei, Heyan Huang, Chin-Yew Lin, Xin Xin, Xianling Mao, Shangguang Wang:
  Re-Ranking Voting-Based Answers by Discarding User Behavior Biases. 2380-2386
• 
  Xiaofeng Yu, Junqing Xie, Shuai Wang:
  A Unified Probabilistic Model of User Activities and Relations on Social Networking Sites. 2387-2393
• 
  Hongyi Zhang, Michael R. Lyu, Irwin King:
  Exploiting k-Degree Locality to Improve Overlapping Community Detection. 2394-2400
• 
  Xiaoming Zhang, Xia Hu, Zhoujun Li:
  Learning Geographical Hierarchy Features for Social Image Location Prediction. 2401-2407
• 
  Yongfeng Zhang, Yunzhi Tan, Min Zhang, Yiqun Liu, Tat-Seng Chua, Shaoping Ma:
  Catch the Black Sheep: Unified Framework for Shilling Attack Detection Based on Fraudulent Action Propagation. 2408-2414
• 
  Xingwei Zhu, Zhaoyan Ming, Yu Hao, Xiaoyan Zhu:
  Tackling Data Sparseness in Recommendation using Social Media based Topic Hierarchy Modeling. 2415-2423

Special Track on Artificial Intelligence and the Arts

• 
  Andreas Arzt, Harald Frostel, Thassilo Gadermaier, Martin Gasser, Maarten Grachten, Gerhard Widmer:
  Artificial Intelligence in the Concertgebouw. 2424-2430
• 
  Alexander Berman, Valencia James:
  Kinetic Imaginations: Exploring the Possibilities of Combining AI and Dance. 2431-
• 
  Mark d'Inverno, Jon McCormack:
  Heroic versus Collaborative AI for the Arts. 2138-2444
• 
  Manfred Eppe, Roberto Confalonieri, Ewen Maclean, Maximos A. Kaliakatsos-Papakostas, Emilios Cambouropoulos, W. Marco Schorlemmer, Mihai Codescu, Kai-Uwe Kühnberger:
  Computational Invention of Cadences and Chord Progressions by Conceptual Chord-Blending. 2445-2451
• 
  Lorenzo Gatti, Gözde Özbal, Marco Guerini, Oliviero Stock, Carlo Strapparava:
  Slogans Are Not Forever: Adapting Linguistic Expressions to the News. 2452-2458
• 
  Stefan Lattner, Carlos Eduardo Cancino Chacón, Maarten Grachten:
  Pseudo-Supervised Training Improves Unsupervised Melody Segmentation. 2459-2465
• 
  Catarina Maçãs, Pedro Cruz, Pedro Martins, Penousal Machado:
  Swarm Systems in the Visualization of Consumption Patterns. 2466-2472
• 
  Penousal Machado, Adriano Vinhas, João Correia, Anikó Ekárt:
  Evolving Ambiguous Images. 2473-2479
• 
  AnneMarie Maes:
  The Scaffolded Sound Beehive. 2480-2481
• 
  François Pachet, Pierre Roy, Alexandre Papadopoulos, Jason Sakellariou:
  Generating 1/f Noise Sequences as Constraint Satisfaction: The Voss Constraint. 2482-2488
• 
  Alexandre Papadopoulos, Pierre Roy, Jean-Charles Régin, François Pachet:
  Generating all Possible Palindromes from Ngram Corpora. 2489-2495
• 
  Rafal Rzepka, Kenji Araki:
  Haiku Generator that Reads Blogs and Illustrates Them with Sounds and Images. 2496-2502
• 
  Andreza Sartori, Yan Yan, Gözde Özbal, Alkim Almila Akdag Salah, Albert Ali Salah, Nicu Sebe:
  Looking at Mondrian's Victory Boogie-Woogie: What Do I Feel? 2503-2509
• 
  Rongju Sun, Zhouhui Lian, Yingmin Tang, Jianguo Xiao:
  Aesthetic Visual Quality Evaluation of Chinese Handwritings. 2510-2516
• 
  Josep Valls-Vargas, Jichen Zhu, Santiago Ontañón:
  Narrative Hermeneutic Circle: Improving Character Role Identification from Natural Language Text via Feedback Loops. 2517-2523
• 
  Dekai Wu, Karteek Addanki:
  Learning to Rap Battle with Bilingual Recursive Neural Networks. 2524-2530
• 
  Ning Xie, Tingting Zhao, Feng Tian, Xiaohua Zhang, Masashi Sugiyama:
  Stroke-Based Stylization Learning and Rendering with Inverse Reinforcement Learning. 2531-2539

Special Track on Computational Sustainability

• 
  Martin Aleksandrov, Haris Aziz, Serge Gaspers, Toby Walsh:
  Online Fair Division: Analysing a Food Bank Problem. 2540-2546
• 
  Frederik Auffenberg, Sebastian Stein, Alex Rogers:
  A Personalised Thermal Comfort Model Using a Bayesian Network. 2547-2553
• 
  Sambaran Bandyopadhyay, Ramasuri Narayanam, Ramachandra Kota, Pg Mohammad Iskandarbin Pg Hj Petra, Zainul Charbiwala:
  Aggregate Demand-Based Real-Time Pricing Mechanism for the Smart Grid: A Game-Theoretic Analysis. 2554-2560
• 
  Heider Berlink, Anna H. R. Costa:
  Batch Reinforcement Learning for Smart Home Energy Management. 2561-2567
• 
  Christian Bessière, Emmanuel Hebrard, George Katsirelos, Toby Walsh:
  Reasoning about Connectivity Constraints. 2568-2574
• 
  Xi C. Chen, James H. Faghmous, Ankush Khandelwal, Vipin Kumar:
  Clustering Dynamic Spatio-Temporal Patterns in The Presence of Noise and Missing Data. 2575-2581
• 
  Yann Dujardin, Tom Dietterich, Iadine Chades:
  α-min: A Compact Approximate Solver For Finite-Horizon POMDPs. 2582-2588
• 
  Fei Fang, Peter Stone, Milind Tambe:
  When Security Games Go Green: Designing Defender Strategies to Prevent Poaching and Illegal Fishing. 2589-2595
• 
  Maryam Ghasemi, Benjamin Lubin:
  Modeling Multi-Attribute Demand for Sustainable Cloud Computing with Copulae. 2596-2602
• 
  Xiaohong Hao, Bangsheng Tang, Yongcai Wang:
  On the Balance of Meter Deployment Cost and NILM Accuracy. 2603-2609
• 
  Keiichiro Hayakawa, Enrico H. Gerding, Sebastian Stein, Takahiro Shiga:
  Online Mechanisms for Charging Electric Vehicles in Settings with Varying Marginal Electricity Costs. 2610-2616
• 
  Athirai Aravazhi Irissappane, Jie Zhang, Frans A. Oliehoek, Partha Sarathi Dutta:
  Secure Routing in Wireless Sensor Networks via POMDPs. 2617-2623
• 
  Andrew Perrault, Craig Boutilier:
  Approximately Stable Pricing for Coordinated Purchasing of Electricity. 2624-2631
• 
  José Francisco Ruiz-Muñoz, Mauricio Orozco-Alzate, Germán Castellanos-Domínguez:
  Multiple Instance Learning-Based Birdsong Classification Using Unsupervised Recording Segmentation. 2632-2638
• 
  René Schönfelder, Martin Leucker:
  Abstract Routing Models and Abstractions in the Context of Vehicle Routing. 2639-2645
• 
  Kalyan Veeramachaneni, Alfredo Cuesta-Infante, Una-May O'Reilly:
  Copula Graphical Models for Wind Resource Estimation. 2646-2654
• 
  XiaoJian Wu, Daniel Sheldon, Shlomo Zilberstein:
  Fast Combinatorial Algorithm for Optimizing the Spread of Cascades. 2655-2661
• 
  Yanhai Xiong, Jiarui Gan, Bo An, Chunyan Miao, Ana L. C. Bazzan:
  Optimal Electric Vehicle Charging Station Placement. 2662-2668
• 
  Ronghuo Zheng, Ying Xu, Nilanjan Chakraborty, Katia P. Sycara:
  A Crowdfunding Model for Green Energy Investment. 2669-2676

Special Track on Knowledge Representation and Reasoning

• 
  Mario Alviano, Carmine Dodaro, Francesco Ricca:
  A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size. 2677-2683
• 
  Mario Alviano, Wolfgang Faber:
  Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective. 2684-2690
• 
  Antoine Amarilli, Michael Benedikt:
  Combining Existential Rules and Description Logics. 2691-2697
• 
  Marcelo Arenas, Gabriel Diéguez, Jorge Pérez:
  Bidirectional Constraints for Exchanging Data: Beyond Monotone Queries. 2698-2705
• 
  Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
  First-Order Rewritability of Temporal Ontology-Mediated Queries. 2706-2712
• 
  Guillaume Aucher, Vaishak Belle:
  Multi-Agent Only Knowing on Planet Kripke. 2713-2719
• 
  Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher:
  Combining Existential Rules and Transitivity: Next Steps. 2720-2726
• 
  Pietro Baroni, Massimiliano Giacomin, Beishui Liao:
  Dealing with Generic Contrariness in Structured Argumentation. 2727-2733
• 
  Ringo Baumann, Gerhard Brewka:
  AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks. 2734-2740
• 
  Harald Beck, Minh Dao-Tran, Thomas Eiter:
  Answer Update for Rule-Based Stream Reasoning. 2741-2747
• 
  Francesco Belardinelli, Wiebe van der Hoek:
  Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results. 2748-2754
• 
  Vaishak Belle, Gerhard Lakemeyer:
  Only Knowing Meets Common Knowledge. 2755-2761
• 
  Vaishak Belle, Hector J. Levesque:
  ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains. 2762-2769
• 
  Vaishak Belle, Andrea Passerini, Guy Van den Broeck:
  Probabilistic Inference in Hybrid Domains by Weighted Model Integration. 2770-2776
• 
  Salem Benferhat, Amélie Levray, Karim Tabia, Vladik Kreinovich:
  Compatible-Based Conditioning in Interval-Based Possibilistic Logic. 2777-2783
• 
  Bart Bogaerts, Joost Vennekens, Marc Denecker:
  Partial Grounded Fixpoints. 2784-2790
• 
  Thomas Bolander, Martin Holm Jensen, François Schwarzentruber:
  Complexity Results in Epistemic Planning. 2791-2797
• 
  Blai Bonet, Hector Geffner:
  Policies that Generalize: Solving Many Planning Problems with the Same Policy. 2798-2804
• 
  Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan José Varzinczak:
  On the Entailment Problem for a Logic of Typicality. 2805-2811
• 
  Stefan Borgwardt, Marco Cerami, Rafael Peñaloza:
  The Complexity of Subsumption in Fuzzy EL. 2812-2818
• 
  Stefan Borgwardt, Veronika Thost:
  Temporal Query Answering in the Description Logic EL. 2819-2825
• 
  Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph:
  Reasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention). 2826-2832
• 
  Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
  Logic Program Termination Analysis Using Atom Sizes. 2833-2839
• 
  Diego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski:
  On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies. 2840-2846
• 
  Diego Calvanese, Marco Montali, Ario Santoso:
  Verification of Generalized Inconsistency-Aware Knowledge and Action Bases. 2847-2853
• 
  Kinzang Chhogyal, Abhaya C. Nayak, Zhiqiang Zhuang, Abdul Sattar:
  Probabilistic Belief Contraction Using Argumentation. 2854-2860
• 
  Arthur Choi, Guy Van den Broeck, Adnan Darwiche:
  Tractable Learning for Structured Probability Spaces: A Case Study in Learning Preference Distributions. 2861-2868
• 
  Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau:
  An Algebra of Granular Temporal Relations for Qualitative Reasoning. 2869-2875
• 
  Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis:
  Extension Enforcement in Abstract Argumentation as an Optimization Problem. 2876-2882
• 
  Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov:
  Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies. 2883-2889
• 
  Sofie De Clercq, Steven Schockaert, Ann Nowé, Martine De Cock:
  Multilateral Negotiation in Boolean Games with Incomplete Information Using Generalized Possibilistic Logic. 2890-2896
• 
  Ronald de Haan, Martin Kronegger, Andreas Pfandler:
  Fixed-Parameter Tractable Reductions to SAT for Planning. 2897-2903
• 
  James P. Delgrande, Bryan Renne:
  The Logic of Qualitative Probability. 2904-2910
• 
  Jérôme Delobelle, Sébastien Konieczny, Srdjan Vesic:
  On the Aggregation of Argumentation Frameworks. 2911-2917
• 
  Tommaso Di Noia, Thomas Lukasiewicz, Maria Vanina Martínez, Gerardo I. Simari, Oana Tifrea-Marciuska:
  Combining Existential Rules with the Power of CP-Theories. 2918-2925
• 
  Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran:
  An Extension-Based Approach to Belief Revision in Abstract Argumentation. 2926-2932
• 
  Didier Dubois, Henri Prade, Agnès Rico:
  The Cube of Opposition: A Structure Underlying Many Knowledge Representation Formalisms. 2933-2939
• 
  Alireza Ensan, Eugenia Ternovska:
  Modular Systems with Preferences. 2940-2947
• 
  Tuan-Fang Fan, Churn-Jung Liau:
  A Logic for Reasoning about Justified Uncertain Beliefs. 2948-2954
• 
  Liangda Fang, Yongmei Liu, Ximing Wen:
  On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus. 2955-2963
• 
  Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su:
  Epistemic Equilibrium Logic. 2964-2970
• 
  Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks:
  The Combined Approach to Query Answering Beyond the OWL 2 Profiles. 2971-2977
• 
  Paolo Felli, Tim Miller, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg:
  Computing Social Behaviours Using Agent Models. 2978-2984
• 
  Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass:
  On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks. 2985-2991
• 
  Georg Gottlob, Marco Manna, Andreas Pieris:
  Polynomial Rewritings for Linear Existential Rules. 2992-2998
• 
  Georg Gottlob, Andreas Pieris:
  Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue. 2999-3007
• 
  Gianluigi Greco, Jérôme Lang:
  Group Decision Making via Weighted Propositional Logic: Complexity and Islands of Tractability. 3008-3014
• 
  Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider:
  Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes. 3015-3021
• 
  Joseph Y. Halpern:
  A Modification of the Halpern-Pearl Definition of Causality. 3022-3033
• 
  Peter Hansen, Carsten Lutz, Inanç Seylan, Frank Wolter:
  Efficient Query Rewriting in the Description Logic EL and Beyond. 3034-3040
• 
  Adrian Haret, Stefan Rümmele, Stefan Woltran:
  Merging in the Horn Fragment. 3041-3047
• 
  André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter:
  Schema.org as a Description Logic. 3048-3054
• 
  Anthony Hunter:
  Modelling the Persuadee in Asymmetric Argumentation Dialogues for Persuasion. 3055-3061
• 
  Aaron Hunter, Richard Booth:
  Trust-Sensitive Belief Revision. 3062-3068
• 
  Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan:
  Simplifying A Logic Program Using Its Consequences. 3069-3075
• 
  Jianmin Ji, Jia-Huai You, Yisong Wang:
  On Forgetting Postulates in Answer Set Programming. 3076-3083
• 
  Cezary Kaliszyk, Josef Urban, Jirí Vyskocil:
  Efficient Semantic Features for Automated Reasoning over Large Theories. 3084-3090
• 
  Mark Kaminski, Bernardo Cuenca Grau:
  Computing Horn Rewritings of Description Logics Ontologies. 3091-3097
• 
  Tobias Kaminski, Matthias Knorr, João Leite:
  Efficient Paraconsistent Reasoning with Ontologies and Rules. 3098-3105
• 
  Mélanie König, Michel Leclère, Marie-Laure Mugnier:
  Query Rewriting for Existential Rules with Compiled Preorder. 3106-3112
• 
  Naiqi Li, Yongmei Liu:
  Automatic Verification of Partial Correctness of Golog Programs. 3113-3119
• 
  Carsten Lutz, Inanç Seylan, Frank Wolter:
  Ontology-Mediated Queries with Closed Predicates. 3120-3126
• 
  Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks:
  Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality. 3127-3133
• 
  Mehrdad Oveisi, James P. Delgrande, Fred Popowich, Francis Jeffry Pelletier:
  Kernel Contraction and Base Dependence: Redundancy in the Base Resulting in Different Types of Dependence. 3134-3140
• 
  Umut Oztok, Adnan Darwiche:
  A Top-Down Compiler for Sentential Decision Diagrams. 3141-3148
• 
  Andreas Pfandler, Stefan Rümmele, Johannes Peter Wallner, Stefan Woltran:
  On the Parameterized Complexity of Belief Revision. 3149-3155
• 
  Nico Potyka, Matthias Thimm:
  Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures. 3156-3163
• 
  Abhay Prakash, Manoj Kumar Chinnakotla, Dhaval Patel, Puneet Garg:
  Did You Know? - Mining Interesting Trivia for Entities from Wikipedia. 3164-3170
• 
  Jörg Pührer:
  Realizability of Three-Valued Semantics for Abstract Dialectical Frameworks. 3171-3177
• 
  David Rajaratnam, Michael Thielscher:
  Execution Monitoring as Meta-Games for General Game-Playing Robots. 3178-3185
• 
  Sebastian Rudolph, Christian Sacarea, Diana Troanca:
  Membership Constraints in Formal Concept Analysis. 3186-3192
• 
  Sebastian Rudolph, Michaël Thomazo:
  Characterization of the Expressivity of Existential Rule Queries. 3193-3199
• 
  Sebastian Sardiña, Nicolás D'Ippolito:
  Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis. 3200-3206
• 
  Steven Schockaert, Jae Hee Lee:
  Qualitative Reasoning about Directions in Semantic Spaces. 3207-3213
• 
  Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco:
  Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus. 3214-3220
• 
  Kostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz:
  MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis. 3221-3228
• 
  Michael Sioutis, Sanjiang Li, Jean-François Condotta:
  Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks. 3229-3235
• 
  György Turán, Jon Yaggie:
  Characterizability in Belief Revision. 3236-3242
• 
  Benito van der Zander, Johannes Textor, Maciej Liskiewicz:
  Efficiently Finding Conditional Instruments for Causal Inference. 3243-3249
• 
  Marc van Zee, Dragan Doder, Mehdi Dastani, Leendert W. N. van der Torre:
  AGM Revision of Beliefs about Action and Time. 3250-3256
• 
  Hai Wan, Rui Yang, Liangda Fang, Yongmei Liu, Huada Xu:
  A Complete Epistemic Planner without the Epistemic Closed World Assumption. 3257-3263
• 
  Zhongyuan Wang, Kejun Zhao, Haixun Wang, Xiaofeng Meng, Ji-Rong Wen:
  Query Understanding through Knowledge-Based Conceptualization. 3264-3270
• 
  Nic Wilson, Anne-Marie George, Barry O'Sullivan:
  Computation and Complexity of Preference Inference Based on Hierarchical Models. 3271-3277
• 
  Benjamin Zarrieß, Jens Claßen:
  Verification of Knowledge-Based Programs over Description Logic Actions. 3278-3284
• 
  Haodi Zhang, Fangzhen Lin:
  Characterizing Causal Action Theories and Their Implementations in Answer Set Programming: Action Languages B, C, and Beyond. 3285-3291
• 
  Yi Zhou:
  First-Order Disjunctive Logic Programming vs Normal Logic Programming. 3292-3298
• 
  Zhiqiang Zhuang, Zhe Wang, Kewen Wang, James P. Delgrande:
  Extending AGM Contraction to Arbitrary Logics. 3299-3307

Special Track on Machine Learning

• 
  Dana Angluin, Sarah Eisenstat, Dana Fisman:
  Learning Regular Languages via Alternating Automata. 3308-3314
• 
  Julien Audiffren, Michal Valko, Alessandro Lazaric, Mohammad Ghavamzadeh:
  Maximum Entropy Semi-Supervised Inverse Reinforcement Learning. 3315-3321
• 
  Lu Bai, Zhihong Zhang, Chaoyan Wang, Xiao Bai, Edwin R. Hancock:
  A Graph Kernel Based on the Jensen-Shannon Representation Alignment. 3322-3328
• 
  André da Motta Salles Barreto, Rafael L. Beirigo, Joelle Pineau, Doina Precup:
  An Expectation-Maximization Algorithm to Compute a Stochastic Factorization From Data. 3329-3336
• 
  Marc G. Bellemare:
  Count-Based Frequency Estimation with Bounded Memory. 3337-3344
• 
  Haitham Bou-Ammar, Eric Eaton, José-Marcio Luna, Paul Ruvolo:
  Autonomous Cross-Domain Knowledge Transfer in Lifelong Policy Gradient Reinforcement Learning. 3345-3351
• 
  Tim Brys, Anna Harutyunyan, Halit Bener Suay, Sonia Chernova, Matthew E. Taylor, Ann Nowé:
  Reinforcement Learning from Demonstration through Shaping. 3352-3358
• 
  Deng Cai:
  Compressed Spectral Regression for Efficient Nonlinear Dimensionality Reduction. 3359-3365
• 
  Thomas Cederborg, Ishaan Grover, Charles L. Isbell, Andrea Lockerd Thomaz:
  Policy Shaping with Human Teachers. 3366-3372
• 
  Shiyu Chang, Jiayu Zhou, Pirooz Chubak, Junling Hu, Thomas S. Huang:
  A Space Alignment Method for Cold-Start TV Show Recommendations. 3373-3379
• 
  Jessica Chemali, Alessandro Lazaric:
  Direct Policy Iteration with Demonstrations. 3380-3386
• 
  Huanhuan Chen, Fengzhen Tang, Peter Tiño, Anthony G. Cohn, Xin Yao:
  Model Metric Co-Learning for Time Series Classification. 3387-3394
• 
  Xixian Chen, Haiqin Yang, Irwin King, Michael R. Lyu:
  Training-Efficient Feature Map for Shift-Invariant Kernels. 3395-3401
• 
  Ying-Cong Chen, Wei-Shi Zheng, Jianhuang Lai:
  Mirror Representation for Modeling View-Specific Transform in Person Re-Identification. 3402-3408
• 
  Yiu-ming Cheung, Jian Lou:
  Efficient Generalized Conditional Gradient with Gradient Sliding for Composite Optimization. 3409-3415
• 
  Jacob W. Crandall:
  Robust Learning for Repeated Stochastic Games via Meta-Gaming. 3416-3422
• 
  Andrew Cropper, Stephen H. Muggleton:
  Learning Efficient Logical Robot Strategies Involving Composable Objects. 3423-3429
• 
  Qi Dai, Jianguo Li, Jun Wang, Yurong Chen, Yu-Gang Jiang:
  Optimal Bayesian Hashing for Efficient Face Recognition. 3430-3437
• 
  Cheng Deng, Zongting Lv, Wei Liu, Junzhou Huang, Dacheng Tao, Xinbo Gao:
  Multi-View Matrix Decomposition: A New Scheme for Exploring Discriminative Information. 3438-3444
• 
  Shay Deutsch, Gérard G. Medioni:
  Intersecting Manifolds: Detection, Segmentation, and Labeling. 3445-3452
• 
  Zhengming Ding, Ming Shao, Yun Fu:
  Deep Low-Rank Coding for Transfer Learning. 3453-3459
• 
  Tobias Domhan, Jost Tobias Springenberg, Frank Hutter:
  Speeding Up Automatic Hyperparameter Optimization of Deep Neural Networks by Extrapolation of Learning Curves. 3460-3468
• 
  Jianguang Du, Jing Jiang, Dandan Song, Lejian Liao:
  Topic Modeling with Document Relative Similarities. 3469-3475
• 
  Liang Du, Peng Zhou, Lei Shi, Hanmo Wang, Mingyu Fan, Wenjian Wang, Yi-Dong Shen:
  Robust Multiple Kernel K-means Using L21-Norm. 3476-3482
• 
  Lei Duan, Satoshi Oyama, Masahito Kurihara, Haruhiko Sato:
  Crowdsourced Semantic Matching of Multi-Label Annotations. 3483-3489
• 
  Chang Feng, Qinghua Hu, Shizhong Liao:
  Random Feature Mapping with Signed Circulant Matrix Projection. 3490-3496
• 
  Yasuhiro Fujiwara, Dennis E. Shasha:
  Quiet: Faster Belief Propagation for Images and Related Applications. 3497-3503
• 
  Yang Gao, Francesca Toni:
  Potential Based Reward Shaping for Hierarchical Reinforcement Learning. 3504-3510
• 
  Xin Geng, Peng Hou:
  Pre-release Prediction of Crowd Opinion on Movies by Label Distribution Learning. 3511-3517
• 
  Robby Goetschalckx, Alan Fern, Prasad Tadepalli:
  Multitask Coactive Learning. 3518-3524
• 
  André Ricardo Gonçalves, Fernando J. Von Zuben, Arindam Banerjee:
  Multi-Label Structure Learning with Ising Model Selection. 3525-3531
• 
  Bin Gu, Victor S. Sheng, Shuo Li:
  Bi-Parameter Space Partition for Cost-Sensitive SVM. 3532-3539
• 
  Xiaojie Guo:
  Online Robust Low Rank Matrix Recovery. 3540-3546
• 
  Xiaojie Guo:
  Robust Subspace Segmentation by Simultaneously Learning Data Representations and Their Affinity Matrix. 3547-3553
• 
  Mandana Hamidi, Prasad Tadepalli, Robby Goetschalckx, Alan Fern:
  Active Imitation Learning of Hierarchical Policies. 3554-3560
• 
  Biwei Huang, Kun Zhang, Bernhard Schölkopf:
  Identification of Time-Dependent Causal Model: A Gaussian Process Treatment. 3561-3568
• 
  Jin Huang, Feiping Nie, Heng Huang:
  A New Simplex Sparse Learning Model to Measure Data Similarity for Clustering. 3569-3575
• 
  Wen-bing Huang, Deli Zhao, Fuchun Sun, Huaping Liu, Edward Y. Chang:
  Scalable Gaussian Process Regression Using Deep Neural Networks. 3576-3582
• 
  Yi Huang, Brian Powers, Lev Reyzin:
  Training-Time Optimization of a Budgeted Booster. 3583-3589
• 
  Wenhao Jiang, Feiping Nie, Heng Huang:
  Robust Dictionary Learning with Capped l1-Norm. 3590-3596
• 
  Pooria Joulani, András György, Csaba Szepesvári:
  Fast Cross-Validation for Incremental Learning. 3597-3604
• 
  Kirthevasan Kandasamy, Jeff G. Schneider, Barnabás Póczos:
  Bayesian Active Learning for Posterior Estimation - IJCAI-15 Distinguished Paper. 3605-3611
• 
  Berk Kapicioglu, David S. Rosenberg, Robert E. Schapire, Tony Jebara:
  Collaborative Place Models. 3612-3618
• 
  George Konidaris, Leslie Pack Kaelbling, Tomás Lozano-Pérez:
  Symbol Acquisition for Probabilistic High-Level Planning. 3619-3627
• 
  Xiang Li, Huaimin Wang, Bin Gu, Charles X. Ling:
  Data Sparseness in Linear SVM. 3628-3634
• 
  Xin Li, Yuhong Guo:
  Multi-Label Classification with Feature-Aware Non-Linear Label Space Transformation. 3635-3642
• 
  Ya Li, Xinmei Tian, Tongliang Liu, Dacheng Tao:
  Multi-Task Model and Feature Joint Learning. 3643-3649
• 
  Yitan Li, Linli Xu, Fei Tian, Liang Jiang, Xiaowei Zhong, Enhong Chen:
  Word Embedding Revisited: A New Representation Learning and Explicit Matrix Factorization Perspective. 3650-3656
• 
  Ronghua Liang, Xiao-Xin Li:
  Mixed Error Coding for Face Recognition with Mixed Occlusions. 3657-3663
• 
  Ming Lin, Zhen-Zhong Lan, Alexander G. Hauptmann:
  Density Corrected Sparse Recovery when R.I.P. Condition Is Broken. 3664-3670
• 
  Rongcheng Lin, Huayu Li, Xiaojun Quan, Richang Hong, Zhiang Wu, Yong Ge:
  Regularizing Flat Latent Variables with Hierarchical Structures. 3671-3677
• 
  Huaping Liu, Jie Qin, Hong Cheng, Fuchun Sun:
  Robust Kernel Dictionary Learning Using a Whole Sequence Convergent Algorithm. 3678-3684
• 
  Dixin Luo, Hongteng Xu, Yi Zhen, Xia Ning, Hongyuan Zha, Xiaokang Yang, Wenjun Zhang:
  Multi-Task Multi-Dimensional Hawkes Processes for Modeling Event Sequences. 3685-3691
• 
  James MacGlashan, Michael L. Littman:
  Between Imitation and Intention Learning. 3692-3698
• 
  Xue Mao, Zhouyu Fu, Ou Wu, Weiming Hu:
  Optimizing Locally Linear Classifiers with Supervised Anchor Point Learning. 3699-3706
• 
  Deiner Mena, Elena Montañés, José Ramón Quevedo, Juan José del Coz:
  Using A* for Inference in Probabilistic Classifier Chains. 3707-3713
• 
  Loizos Michael:
  Introspective Forecasting. 3714-3720
• 
  Adway Mitra, Chiranjib Bhattacharyya, Soma Biswas:
  EntScene: Nonparametric Bayesian Temporal Segmentation of Videos Aimed at Entity-Driven Scene Detection. 3721-3727
• 
  Kaixiang Mo, Bo Liu, Lei Xiao, Yong Li, Jie Jiang:
  Image Feature Learning for Cold Start Problem in Display Advertising. 3728-3734
• 
  Thibaut Munzer, Bilal Piot, Matthieu Geist, Olivier Pietquin, Manuel Lopes:
  Inverse Reinforcement Learning in Relational Domains. 3735-3741
• 
  Frank Neumann, Carsten Witt:
  On the Runtime of Randomized Local Search and Simple Evolutionary Algorithms for Dynamic Makespan Scheduling. 3742-3748
• 
  Yulei Niu, Zhiwu Lu, Songfang Huang, Peng Han, Ji-Rong Wen:
  Weakly Supervised Matrix Factorization for Noisily Tagged Image Parsing. 3749-3755
• 
  Francesco Orsini, Paolo Frasconi, Luc De Raedt:
  Graph Invariant Kernels. 3756-3762
• 
  Hao Peng, Yuan Qi:
  EigenGP: Gaussian Process Models with Adaptive Eigenfunctions. 3763-3769
• 
  Piyush Rai, Changwei Hu, Matthew Harding, Lawrence Carin:
  Scalable Probabilistic Tensor Factorization for Binary and Count Data. 3770-3776
• 
  Aaditya Ramdas, Leila Wehbe:
  Nonparametric Independence Testing for Small Sample Sizes. 3777-3783
• 
  Khaled S. Refaat, Adnan Darwiche:
  Data Compression for Learning MRF Parameters. 3784-3790
• 
  Sai Nageswar Satchidanand, Harini Ananthapadmanaban, Balaraman Ravindran:
  Extended Discriminative Random Walk: A Hypergraph Approach to Multi-View Multi-Relational Transductive Learning. 3791-3797
• 
  Ming Shao, Sheng Li, Zhengming Ding, Yun Fu:
  Deep Linear Coding for Fast Graph Clustering. 3798-3804
• 
  Qiquan Shi, Haiping Lu:
  Semi-Orthogonal Multilinear PCA with Relaxed Start. 3805-3811
• 
  Kilho Shin, Adrian Pino Angulo:
  A Geometric Theory of Feature Selection and Distance-Based Measures. 3812-3819
• 
  Yangqiu Song, Shusen Wang, Haixun Wang:
  Open Domain Short Text Conceptualization: A Generative + Descriptive Modeling Approach. 3820-3826
• 
  Alessandro Sperduti:
  Equivalence Results between Feedforward and Recurrent Neural Networks for Sequences. 3827-3833
• 
  Lu Sun, Mineichi Kudo:
  Polytree-Augmented Classifier Chains for Multi-Label Classification. 3834-3840
• 
  Siliang Tang, Fei Wu, Si Li, Weiming Lu, Zhongfei Zhang, Yueting Zhuang:
  Sketch the Storyline with CHARCOAL: A Non-Parametric Approach. 3841-3848
• 
  Shaozhe Tao, Daniel Boley, Shuzhong Zhang:
  Convergence of Common Proximal Methods for L1-Regularized Least Squares. 3849-3855
• 
  Nicholay Topin, Nicholas Haltmeyer, Shawn Squire, John Winder, Marie desJardins, James MacGlashan:
  Portable Option Discovery for Automated Learning Transfer in Object-Oriented Markov Decision Processes. 3856-3864
• 
  Joel Veness, Marcus Hutter, Laurent Orseau, Marc G. Bellemare:
  Online Learning of k-CNF Boolean Functions. 3865-3873
• 
  Saulo Moraes Villela, Saul de Castro Leite, Raul Fonseca Neto:
  Feature Selection from Microarray Data via an Ordered Search with Projected Margin. 3874-3881
• 
  Chenguang Wang, Yangqiu Song, Dan Roth, Chi Wang, Jiawei Han, Heng Ji, Ming Zhang:
  Constrained Information-Theoretic Tripartite Graph Clustering to Identify Semantically Similar Relations. 3882-3889
• 
  Di Wang, Xinbo Gao, Xiumei Wang, Lihuo He:
  Semantic Topic Multimodal Hashing for Cross-Media Retrieval. 3890-3896
• 
  Di Wang, Xiaoqin Zhang, Mingyu Fan, Xiuzi Ye:
  An Efficient Classifier Based on Hierarchical Mixing Linear Support Vector Machines. 3897-3903
• 
  Qifan Wang, Luo Si, Bin Shen:
  Learning to Hash on Partial Multi-Modal Data. 3904-3910
• 
  Qifan Wang, Zhiwei Zhang, Luo Si:
  Ranking Preserving Hashing for Fast Similarity Search. 3911-3917
• 
  William Yang Wang, Kathryn Mazaitis, William W. Cohen:
  A Soft Version of Predicate Invention Based on Structured Sparsity. 3918-3924
• 
  Xiaoqian Wang, Yun Liu, Feiping Nie, Heng Huang:
  Discriminative Unsupervised Dimensionality Reduction. 3925-3931
• 
  Zhangyang Wang, Yingzhen Yang, Shiyu Chang, Jinyan Li, Simon Fong, Thomas S. Huang:
  A Joint Optimization Framework of Sparse Coding and Discriminative Clustering. 3932-3938
• 
  Zhiguang Wang, Tim Oates:
  Imaging Time-Series to Improve Classification and Imputation. 3939-3945
• 
  Botong Wu, Qiang Yang, Wei-Shi Zheng, Yizhou Wang, Jingdong Wang:
  Quantized Correlation Hashing for Fast Cross-Modal Search. 3946-3952
• 
  Jia Wu, Shirui Pan, Xingquan Zhu, Zhihua Cai, Chengqi Zhang:
  Multi-Graph-View Learning for Complicated Object Classification. 3953-3959
• 
  Yingce Xia, Haifang Li, Tao Qin, Nenghai Yu, Tie-Yan Liu:
  Thompson Sampling for Budgeted Multi-Armed Bandits. 3960-3966
• 
  Youlu Xing, Furao Shen, Jinxi Zhao:
  Perception Evolution Network Adapting to the Emergence of New Sensory Receptor. 3967-3973
• 
  Chang Xu, Dacheng Tao, Chao Xu:
  Multi-view Self-Paced Learning for Clustering. 3974-3980
• 
  Jingwei Xu, Yuan Yao, Hanghang Tong, XianPing Tao, Jian Lu:
  Ice-Breaking: Mitigating Cold-Start Recommendation Problem by Rating Comparison. 3981-3987
• 
  Yan Yan, Mingkui Tan, Ivor W. Tsang, Yi Yang, Chengqi Zhang, Qinfeng Shi:
  Scalable Maximum Margin Matrix Factorization by Active Riemannian Subspace Search. 3988-3994
• 
  Jianbo Yang, Minh Nhut Nguyen, Phyo Phyo San, Xiaoli Li, Shonali Krishnaswamy:
  Deep Convolutional Neural Networks on Multichannel Time Series for Human Activity Recognition. 3995-4001
• 
  Quanming Yao, James T. Kwok:
  Accelerated Inexact Soft-Impute for Fast Large-Scale Matrix Completion. 4002-4008
• 
  Chao Yuan:
  Unsupervised Machine Condition Monitoring Using Segmental Hidden Markov Models. 4009-4016
• 
  Guangxiang Zeng, Hengshu Zhu, Qi Liu, Ping Luo, Enhong Chen, Tong Zhang:
  Matrix Factorization with Scale-Invariant Parameters. 4017-4024
• 
  Shaodan Zhai, Tian Xia, Zhongliang Li, Shaojun Wang:
  A Direct Boosting Approach for Semi-supervised Classification. 4025-4032
• 
  Liangpeng Zhang, Ke Tang, Xin Yao:
  Increasingly Cautious Optimism for Practical PAC-MDP Exploration. 4033-4040
• 
  Min-Ling Zhang, Yu-Kun Li, Xu-Ying Liu:
  Towards Class-Imbalance Aware Multi-Label Learning. 4041-4047
• 
  Min-Ling Zhang, Fei Yu:
  Solving the Partial Label Learning Problem: An Instance-Based Approach. 4048-4054
• 
  Xianchao Zhang, Xiaotong Zhang, Han Liu:
  Multi-Task Multi-View Clustering for Non-Negative Data. 4055-4061
• 
  Feipeng Zhao, Yuhong Guo:
  Semi-Supervised Multi-Label Learning with Incomplete Labels. 4062-4068
• 
  Han Zhao, Zhengdong Lu, Pascal Poupart:
  Self-Adaptive Hierarchical Sentence Model. 4069-4076
• 
  Handong Zhao, Yun Fu:
  Dual-Regularized Multi-View Outlier Detection. 4077-4083
• 
  Zhou Zhao, Ruihua Song, Xing Xie, Xiaofei He, Yueting Zhuang:
  Mobile Query Recommendation via Tensor Function Learning. 4084-4090
• 
  Xiaodong Zheng, Shanfeng Zhu, Junning Gao, Hiroshi Mamitsuka:
  Instance-Wise Weighted Nonnegative Matrix Factorization for Aggregating Partitions with Locally Reliable Clusters. 4091-4097
• 
  Dawei Zhou, Jingrui He, K. Selçuk Candan, Hasan Davulcu:
  MUVIR: Multi-View Rare Category Detection. 4098-4104
• 
  Peng Zhou, Liang Du, Lei Shi, Hanmo Wang, Yi-Dong Shen:
  Recovery of Corrupted Multiple Kernels for Clustering. 4105-4111
• 
  Peng Zhou, Liang Du, Hanmo Wang, Lei Shi, Yi-Dong Shen:
  Learning a Robust Consensus Matrix for Clustering Ensemble via Kullback-Leibler Divergence Minimization. 4112-4118
• 
  Fuzhen Zhuang, Xiaohu Cheng, Ping Luo, Sinno Jialin Pan, Qing He:
  Supervised Representation Learning: Transfer Learning with Deep Autoencoders. 4119-4125
• 
  Jingwei Zhuo, Jun Zhu, Bo Zhang:
  Adaptive Dropout Rates for Learning with Corrupted Features. 4126-4133

Demos Track

• 
  Filipe Assunção, João Correia, Pedro Martins, Penousal Machado:
  Evolving Families of Shapes. 4134-4135
• 
  Fiammetta Ghedini, François Pachet, Pierre Roy:
  Max Order: A Tale of Creativity. 4136-4137
• 
  Qi Lyu, Zhiyong Wu, Jun Zhu, Helen Meng:
  Modelling High-Dimensional Sequences with LSTM-RTRBM: Application to Polyphonic Music Generation. 4138-4139
• 
  Mathieu Ramona, Giordano Cabral, François Pachet:
  Capturing a Musician's Groove: Generation of Realistic Accompaniments from Single Song Recordings. 4140-4142

Journal Track

• 
  Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti:
  Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach (Extended Abstract). 4143-4147
• 
  Marc G. Bellemare, Yavar Naddaf, Joel Veness, Michael Bowling:
  The Arcade Learning Environment: An Evaluation Platform for General Agents (Extended Abstract). 4148-4152
• 
  Shlomo Berkovsky, Jill Freyne, Harri Oinas-Kukkonen:
  Influencing Individually: Fusing Personalization and Persuasion (Extended Abstract). 4153-4187
• 
  Cristina Bosco, Viviana Patti, Andrea Bolioli:
  Developing Corpora for Sentiment Analysis: The Case of Irony and Senti-TUT (Extended Abstract). 4188-
• 
  Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
  Data Complexity of Query Answering in Description Logics (Extended Abstract). 4163-4167
• 
  Karthik Dinakar, Rosalind W. Picard, Henry Lieberman:
  Common Sense Reasoning for Detection, Prevention, and Mitigation of Cyberbullying (Extended Abstract). 4168-4172
• 
  Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran:
  Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract). 4173-4177
• 
  Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra:
  The Complexity of Manipulative Attacks in Nearly Single-Peaked Electorates (Extended Abstract). 4178-4182
• 
  Paolo Frasconi, Fabrizio Costa, Luc De Raedt, Kurt De Grave:
  kLog: A Language for Logical and Relational Learning with Kernels (Extended Abstract). 4183-4187
• 
  Micah Hodosh, Peter Young, Julia Hockenmaier:
  Framing Image Description as a Ranking Task: Data, Models and Evaluation Metrics (Extended Abstract). 4188-4192
• 
  Hsun-Ping Hsieh, Cheng-Te Li, Shou-De Lin:
  Measuring and Recommending Time-Sensitive Routes from Location-based Data. 4193-4196
• 
  Frank Hutter, Lin Xu, Holger Hoos, Kevin Leyton-Brown:
  Algorithm Runtime Prediction: Methods and Evaluation (Extended Abstract). 4197-4201
• 
  Massimo Poesio, Jon Chamberlain, Udo Kruschwitz, Livio Robaldo, Luca Ducceschi:
  Phrase Detectives: Utilizing Collective Intelligence for Internet-Scale Language Resource Creation (Extended Abstract). 4202-4206
• 
  Munindar P. Singh:
  Norms as a Basis for Governing Sociotechnical Systems: Extended Abstract. 4207-4211
• 
  Yale Song, Randall Davis:
  Continuous Body and Hand Gesture Recognition for Natural Human-Computer Interaction: Extended Abstract. 4212-4216
• 
  Michael Winikoff, Stephen Cranefield:
  On the Testability of BDI Agent Systems (Extended Abstract). 4217-4221
• 
  Yu Wu, Per Austrin, Toniann Pitassi, David Liu:
  Inapproximability of Treewidth and Related Problems (Extended Abstract). 4222-4228
• 
  Rui Xia, Chengqing Zong, Xuelei Hu, Erik Cambria:
  Feature Ensemble Plus Sample Selection: Domain Adaptation for Sentiment Classification (Extended Abstract). 4229-4233
• 
  Jie Yin, Sarvnaz Karimi, Andrew Lampert, Mark A. Cameron, Bella Robinson, Robert Power:
  Using Social Media to Enhance Emergency Situation Awareness: Extended Abstract. 4234-4239

Best Papers from Sister Conferences Track

• 
  Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
  When Are Description Logic Knowledge Bases Indistinguishable? 4240-4246
• 
  Diego Calvanese, Marco Montali, Fabio Patrizi, Giuseppe De Giacomo:
  Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis. 4247-4253
• 
  Jilles Steeve Dibangoye, Christopher Amato, Olivier Buffet, François Charpillet:
  Exploiting Separability in Multiagent Planning with Continuous-State MDPs (Extended Abstract). 4254-4260
• 
  Michael W. Floyd, Michael Drinkwater, David W. Aha:
  Trust-Guided Behavior Adaptation Using Case-Based Reasoning. 4261-4267
• 
  Negar Hariri, Bamshad Mobasher, Robin Burke:
  Adapting to User Preference Changes in Interactive Recommendation. 4268-4274
• 
  Piotr Krysta, Orestis Telelis, Carmine Ventre:
  Near-Optimal Approximation Mechanisms for Multi-Unit Combinatorial Auctions. 4275-4281
• 
  Leonid Libkin:
  How to Define Certain Answers. 4282-4288
• 
  Dougal Maclaurin, Ryan Prescott Adams:
  Firefly Monte Carlo: Exact MCMC with Subsets of Data. 4289-4295
• 
  Peter Organisciak, Jaime Teevan, Susan T. Dumais, Robert C. Miller, Adam Tauman Kalai:
  Matching and Grokking: Approaches to Personalized Crowdsourcing. 4296-4302
• 
  Florian Pommerening, Gabriele Röger, Malte Helmert, Blai Bonet:
  Heuristics for Cost-Optimal Classical Planning Based on Linear Programming. 4303-4309
• 
  Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
  Reasoning with Probabilistic Ontologies. 4310-4316
• 
  Amir Shareghi Najar, Antonija Mitrovic, Bruce M. McLaren:
  Examples and Tutored Problems: Adaptive Support Using Assistance Scores. 4317-4323
• 
  Roni Stern, Scott Kiesel, Rami Puzis, Ariel Felner, Wheeler Ruml:
  Max Is More than Min: Solving Maximization Problems with Heuristic Search. 4324-4330
• 
  Christopher Makoto Wilt, Wheeler Ruml:
  Speedy versus Greedy Search. 4331-4338

Doctoral Consortium

• 
  Martin Aleksandrov:
  Online Fair Division. 4339-4340
• 
  Harald Beck:
  Expressive Rule-Based Stream Reasoning. 4341-4342
• 
  Lilian Berton, Alneu de Andrade Lopes:
  Graph Construction for Semi-Supervised Learning. 4343-4344
• 
  Igor Braga:
  Stochastic Density Ratio Estimation and Its Application to Feature Selection. 4345-4346
• 
  Tim Brys:
  Encoding and Combining Knowledge to Speed up Reinforcement Learning. 4347-4348
• 
  Joel Luis Carbonera, Mara Abel:
  A Cognitively Inspired Approach for Knowledge Representation and Reasoning in Knowledge-Based Systems. 4349-4350
• 
  Marc Yu-San Chee:
  Distribution of UCT and Its Ramifications. 4351-4352
• 
  Alejandro Corbellini:
  A Distributed Platform to Ease the Development of Recommendation Algorithms on Large-Scale Graphs. 4353-4354
• 
  Cristina Cornelio:
  Models for Conditional Preferences as extensions of CP-nets. 4355-4356
• 
  Viviana Cotik:
  Information Extraction of Texts in the Biomedical Domain. 4357-4358
• 
  Andrew Cropper:
  Learning Efficient Logic Programs. 4359-4360
• 
  Wilton de Paula Filho, Ana Cristina Bicharra Garcia:
  RoTuEl: A Semi-Automated Method for Labeling Political Tweets. 4361-4362
• 
  Thiago de Paulo Faleiros, Alneu de Andrade Lopes:
  Bipartite Graph for Topic Extraction. 4363-4364
• 
  Golnoosh Farnadi:
  Statistical Relational Learning Towards Modelling Social Media Users. 4365-4366
• 
  Nicola Guido:
  On the Static Analysis for SPARQL Queries Using Modal Logic. 4367-4368
• 
  Athirai Aravazhi Irissappane:
  Exploiting Trust Information to Cope with Malicious Entities in Multi-Agent Systems. 4369-4370
• 
  Fatemeh Jahedpari:
  Artificial Prediction Markets for Online Prediction. 4371-4372
• 
  Elizabeth A. Jensen:
  Multi-Robot Exploration with Communication Restrictions. 4373-4374
• 
  Roxane Koitz, Franz Wotawa:
  Diagnosis of Technical Systems. 4375-4376
• 
  Thomas Linsbichler:
  Abstract Argumentation Frameworks - From Theoretical Insights to Practical Implications. 4377-4378
• 
  Adrien Maillard:
  Flexible Scheduling for an Agile Earth-Observing Satelllite. 4379-4380
• 
  Travis Mandel:
  Towards More Practical Reinforcement Learning. 4381-4382
• 
  Marie D. Manner:
  Using Small Humanoid Robots to Detect Autism in Toddlers. 4383-4384
• 
  Yoko Nakajima:
  Automatic Extraction of References to Future Events from News Articles Using Semantic and Morphological Information. 4385-4386
• 
  Aaditya Ramdas:
  Advances in Nonparametric Hypothesis Testing. 4387-4388
• 
  Diederik Marijn Roijers:
  Efficient Methods for Multi-Objective Decision-Theoretic Planning. 4389-4390
• 
  Ariel Rosenfeld:
  Automated Agents for Advice Provision. 4391-4392
• 
  Pedro Henrique Santana, Brian Charles Williams:
  Dynamic Execution of Temporal Plans with Sensing Actions and Bounded Risk. 4393-4394
• 
  Sayan D. Sen:
  An Intelligent and Unified Framework for Multiple Robot and Human Coalition Formation. 4395-4396
• 
  Zohreh Shams:
  Normative Practical Reasoning: An Argumentation-Based Approach. 4397-4398
• 
  Leandro Soriano Marcolino:
  Unleashing the Power of Multi-Agent Voting Teams. 4399-4400
• 
  Newton Spolaôr, Maria Carolina Monard, Huei Diana Lee:
  Feature Selection for Multi-Label Learning. 4401-4402
• 
  Marc van Zee:
  Rational Architecture = Architecture from a Recommender Perspective. 4403-4404
• 
  Dongxia Wang:
  Quantifying and Improving the Robustness of Trust Systems. 4405-4406
• 
  Leila Wehbe:
  The Spatio-Temporal Representation of Natural Reading. 4407-4408
• 
  XiaoJian Wu:
  Approximate Algorithms for Stochastic Network Design. 4409-4410
• 
  Riccardo Zese:
  Inference and Learning for Probabilistic Description Logics. 4411-4412
• 
  Zichen Zhu:
  Improvements of Symmetry Breaking During Search. 4413-4415

Invited

• 
  Steve A. Chien, Gregg Rabideau, Daniel Tran, Martina Troesch, Joshua Doubleday, Federico Nespoli, Miguel Perez Ayucar, Marc Costa Sitja, Claire Vallat, Bernhard Geiger, Nico Altobelli, Manuel Fernandez, Fran Vallejo, Rafael Andres, Michael Kueppers:
  Activity-Based Scheduling of Science Campaigns for the Rosetta Orbiter. 4416-4422
• 
  Manuela M. Veloso, Joydeep Biswas, Brian Coltin, Stephanie Rosenthal:
  CoBots: Robust Symbiotic Autonomous Mobile Service Robots. 4423-